Contents of section "Science" in suite "dawn"

z3

theorem prover from Microsoft Research

main
z88

Finite Element Analysis Program - runtime

main
z88-data

Finite Element Analysis Program - data

main
zegrapher

plotting mathematical functions and sequences on the plane

main
zfp

Fixed-Rate Compressed Floating-Point Arrays - binary programs

main
ztex-bmp

universal macro processor

main