| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| 4ti2/ | - | 2018-Oct-22 07:39 |
| Macaulay2/ | - | 2018-Oct-22 07:39 |
| agda/ | - | 2018-Oct-22 07:39 |
| agda-lib-ffi/ | - | 2018-Oct-22 07:39 |
| agda-stdlib/ | - | 2018-Oct-22 07:39 |
| alt-ergo/ | - | 2018-Oct-22 07:39 |
| arb/ | - | 2018-Oct-22 07:39 |
| axiom/ | - | 2018-Oct-22 07:39 |
| bertini/ | - | 2018-Oct-22 07:39 |
| calc/ | - | 2018-Oct-22 07:39 |
| cgal/ | - | 2018-Oct-22 07:39 |
| coq/ | - | 2018-Oct-22 07:39 |
| cvc3/ | - | 2018-Oct-22 07:39 |
| cvc4/ | - | 2018-Oct-22 07:39 |
| dataplot/ | - | 2018-Oct-22 07:39 |
| diagrtb/ | - | 2018-Oct-22 07:39 |
| drgeo/ | - | 2018-Oct-22 07:39 |
| dunshire/ | - | 2018-Oct-22 07:39 |
| e/ | - | 2018-Oct-22 07:39 |
| ent/ | - | 2018-Oct-22 07:39 |
| euler/ | - | 2018-Oct-22 07:39 |
| factmsieve/ | - | 2018-Oct-22 07:39 |
| fann/ | - | 2018-Oct-22 07:39 |
| flint/ | - | 2018-Oct-22 07:39 |
| form/ | - | 2018-Oct-22 07:39 |
| fricas/ | - | 2018-Oct-22 07:39 |
| frobby/ | - | 2018-Oct-22 07:39 |
| genius/ | - | 2018-Oct-22 07:39 |
| geogebra/ | - | 2018-Oct-22 07:39 |
| geomview/ | - | 2018-Oct-22 07:39 |
| gfan/ | - | 2018-Oct-22 07:39 |
| ggnfs/ | - | 2018-Oct-22 07:39 |
| gimps/ | - | 2018-Oct-22 07:39 |
| ginac/ | - | 2018-Oct-22 07:39 |
| glpk/ | - | 2018-Oct-22 07:39 |
| gmm/ | - | 2018-Oct-22 07:39 |
| gmp-ecm/ | - | 2018-Oct-22 07:39 |
| gretl/ | - | 2018-Oct-22 07:39 |
| gsl-shell/ | - | 2018-Oct-22 07:39 |
| gwnum/ | - | 2018-Oct-22 07:39 |
| isabelle/ | - | 2018-Oct-22 07:39 |
| jags/ | - | 2018-Oct-22 07:39 |
| kodkod/ | - | 2018-Oct-22 07:39 |
| kodkodi/ | - | 2018-Oct-22 07:39 |
| lpsolve/ | - | 2018-Oct-22 07:39 |
| lybniz/ | - | 2018-Oct-22 07:39 |
| mathmod/ | - | 2018-Oct-22 07:39 |
| mathomatic/ | - | 2018-Oct-22 07:39 |
| maxima/ | - | 2018-Oct-22 07:39 |
| minisat/ | - | 2018-Oct-22 07:39 |
| mlpy/ | - | 2018-Oct-22 07:39 |
| msieve/ | - | 2018-Oct-22 07:39 |
| nauty/ | - | 2018-Oct-22 07:39 |
| nestedsums/ | - | 2018-Oct-22 07:39 |
| normaliz/ | - | 2018-Oct-22 07:39 |
| num-utils/ | - | 2018-Oct-22 07:39 |
| nusmv/ | - | 2018-Oct-22 07:39 |
| octave/ | - | 2018-Oct-22 07:39 |
| octave-epstk/ | - | 2018-Oct-22 07:39 |
| otter/ | - | 2018-Oct-22 07:39 |
| p9m4/ | - | 2018-Oct-22 07:39 |
| pari/ | - | 2018-Oct-22 07:39 |
| pari-data/ | - | 2018-Oct-22 07:39 |
| polymake/ | - | 2018-Oct-22 07:39 |
| prng/ | - | 2018-Oct-22 07:39 |
| prover9/ | - | 2018-Oct-22 07:39 |
| pspp/ | - | 2018-Oct-22 07:39 |
| pymc/ | - | 2018-Oct-22 07:39 |
| pymc3/ | - | 2018-Oct-22 07:39 |
| reduce/ | - | 2018-Oct-22 07:39 |
| relational/ | - | 2018-Oct-22 07:39 |
| rkward/ | - | 2018-Oct-22 07:39 |
| rngstreams/ | - | 2018-Oct-22 07:39 |
| rstudio/ | - | 2018-Oct-22 07:39 |
| rw/ | - | 2018-Oct-22 07:39 |
| sha1-polyml/ | - | 2018-Oct-22 07:39 |
| singular/ | - | 2018-Oct-22 07:39 |
| snns/ | - | 2018-Oct-22 07:39 |
| spass/ | - | 2018-Oct-22 07:39 |
| spin/ | - | 2018-Oct-22 07:39 |
| topcom/ | - | 2018-Oct-22 07:39 |
| twelf/ | - | 2018-Oct-22 07:39 |
| unuran/ | - | 2018-Oct-22 07:39 |
| why3-for-spark/ | - | 2018-Oct-22 07:39 |
| wxmaxima/ | - | 2018-Oct-22 07:39 |
| xmds/ | - | 2018-Oct-22 07:39 |
| yacas/ | - | 2018-Oct-22 07:39 |
| yafu/ | - | 2018-Oct-22 07:39 |
| z3/ | - | 2018-Oct-22 07:39 |
| Manifest.gz | 15K | 2018-Oct-18 13:09 |
| metadata.xml | 1326 | 2015-Aug-24 16:30 |