| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| 4ti2/ | - | 25-Mar-2012 19:01 |
| Macaulay2/ | - | 31-Jan-2012 13:42 |
| agda/ | - | 13-Apr-2012 15:01 |
| agda-executable/ | - | 25-Mar-2012 14:31 |
| agda-stdlib/ | - | 25-Mar-2012 14:31 |
| axiom/ | - | 25-Apr-2012 19:01 |
| calc/ | - | 31-Jan-2012 13:42 |
| cgal/ | - | 10-May-2012 18:01 |
| coq/ | - | 17-May-2012 15:01 |
| dataplot/ | - | 04-May-2012 08:01 |
| diagrtb/ | - | 21-Mar-2012 14:01 |
| drgeo/ | - | 04-May-2012 08:01 |
| ent/ | - | 31-Jan-2012 13:42 |
| euler/ | - | 04-May-2012 08:01 |
| fann/ | - | 08-May-2012 18:31 |
| freemat/ | - | 04-May-2012 08:01 |
| fricas/ | - | 20-Feb-2012 10:01 |
| frobby/ | - | 18-May-2012 17:01 |
| genius/ | - | 31-Jan-2012 13:42 |
| geomview/ | - | 31-Jan-2012 13:42 |
| gfan/ | - | 31-Jan-2012 13:42 |
| gimps/ | - | 16-May-2012 18:01 |
| ginac/ | - | 04-May-2012 08:01 |
| glpk/ | - | 26-May-2012 16:01 |
| gmm/ | - | 26-May-2012 16:01 |
| gretl/ | - | 04-May-2012 08:01 |
| isabelle/ | - | 31-Jan-2012 13:42 |
| jags/ | - | 04-May-2012 08:01 |
| lpsolve/ | - | 26-Mar-2012 16:01 |
| lybniz/ | - | 31-Jan-2012 13:42 |
| mathomatic/ | - | 26-May-2012 16:01 |
| maxima/ | - | 21-May-2012 19:31 |
| minisat/ | - | 31-Jan-2012 13:42 |
| mlpy/ | - | 11-May-2012 16:31 |
| nauty/ | - | 16-May-2012 13:01 |
| nestedsums/ | - | 31-Jan-2012 13:42 |
| normaliz/ | - | 31-Jan-2012 13:42 |
| num-utils/ | - | 26-May-2012 16:01 |
| nusmv/ | - | 25-Apr-2012 17:31 |
| octave/ | - | 04-May-2012 08:01 |
| octave-epstk/ | - | 31-Jan-2012 13:42 |
| otter/ | - | 31-Jan-2012 13:42 |
| p9m4/ | - | 31-Jan-2012 13:42 |
| pari/ | - | 06-Mar-2012 17:31 |
| pari-data/ | - | 31-Jan-2012 13:42 |
| polymake/ | - | 20-Apr-2012 14:01 |
| prng/ | - | 31-Jan-2012 13:42 |
| prover9/ | - | 31-Jan-2012 13:42 |
| pspp/ | - | 21-May-2012 07:01 |
| qtoctave/ | - | 31-Jan-2012 13:42 |
| reduce/ | - | 31-Jan-2012 13:42 |
| relational/ | - | 31-Jan-2012 13:42 |
| rkward/ | - | 31-Jan-2012 13:42 |
| rngstreams/ | - | 31-Jan-2012 13:42 |
| scilab/ | - | 13-Mar-2012 10:31 |
| singular/ | - | 13-May-2012 07:01 |
| snns/ | - | 26-Feb-2012 05:31 |
| spin/ | - | 21-May-2012 13:31 |
| topcom/ | - | 31-Jan-2012 13:42 |
| unuran/ | - | 31-Jan-2012 13:42 |
| wxmaxima/ | - | 26-May-2012 16:01 |
| xmds/ | - | 31-Jan-2012 13:42 |
| yacas/ | - | 25-Apr-2012 17:31 |
| metadata.xml | 1326 | 17-Feb-2006 23:16 |