![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| 4ti2/ | 2012-03-25 20:01 | - |
| Macaulay2/ | 2012-01-31 13:42 | - |
| agda-executable/ | 2012-03-25 15:31 | - |
| agda-stdlib/ | 2012-03-25 15:31 | - |
| agda/ | 2012-04-13 16:01 | - |
| axiom/ | 2012-04-25 20:01 | - |
| calc/ | 2012-01-31 13:42 | - |
| cgal/ | 2012-05-10 19:01 | - |
| coq/ | 2012-05-17 16:01 | - |
| dataplot/ | 2012-05-04 09:01 | - |
| diagrtb/ | 2012-03-21 14:01 | - |
| drgeo/ | 2012-05-04 09:01 | - |
| ent/ | 2012-01-31 13:42 | - |
| euler/ | 2012-05-04 09:01 | - |
| fann/ | 2012-05-08 19:31 | - |
| freemat/ | 2012-05-04 09:01 | - |
| fricas/ | 2012-02-20 10:01 | - |
| frobby/ | 2012-05-18 18:01 | - |
| genius/ | 2012-01-31 13:42 | - |
| geomview/ | 2012-01-31 13:42 | - |
| gfan/ | 2012-01-31 13:42 | - |
| gimps/ | 2012-05-16 19:01 | - |
| ginac/ | 2012-05-04 09:01 | - |
| glpk/ | 2012-05-27 00:31 | - |
| gmm/ | 2012-05-27 00:31 | - |
| gretl/ | 2012-05-04 09:01 | - |
| isabelle/ | 2012-01-31 13:42 | - |
| jags/ | 2012-05-04 09:01 | - |
| lpsolve/ | 2012-03-26 17:01 | - |
| lybniz/ | 2012-01-31 13:42 | - |
| mathomatic/ | 2012-05-27 00:31 | - |
| maxima/ | 2012-05-21 20:31 | - |
| minisat/ | 2012-01-31 13:42 | - |
| mlpy/ | 2012-05-11 17:31 | - |
| nauty/ | 2012-05-16 14:01 | - |
| nestedsums/ | 2012-01-31 13:42 | - |
| normaliz/ | 2012-01-31 13:42 | - |
| num-utils/ | 2012-05-27 00:31 | - |
| nusmv/ | 2012-04-25 18:31 | - |
| octave-epstk/ | 2012-01-31 13:42 | - |
| octave/ | 2012-05-04 09:01 | - |
| otter/ | 2012-01-31 13:42 | - |
| p9m4/ | 2012-01-31 13:42 | - |
| pari-data/ | 2012-01-31 13:42 | - |
| pari/ | 2012-03-06 17:31 | - |
| polymake/ | 2012-04-20 15:01 | - |
| prng/ | 2012-01-31 13:42 | - |
| prover9/ | 2012-01-31 13:42 | - |
| pspp/ | 2012-05-21 08:01 | - |
| qtoctave/ | 2012-01-31 13:42 | - |
| reduce/ | 2012-01-31 13:42 | - |
| relational/ | 2012-01-31 13:42 | - |
| rkward/ | 2012-01-31 13:42 | - |
| rngstreams/ | 2012-01-31 13:42 | - |
| scilab/ | 2012-03-13 10:31 | - |
| singular/ | 2012-05-13 08:01 | - |
| snns/ | 2012-02-26 05:31 | - |
| spin/ | 2012-05-21 14:31 | - |
| topcom/ | 2012-01-31 13:42 | - |
| unuran/ | 2012-01-31 13:42 | - |
| wxmaxima/ | 2012-05-27 00:31 | - |
| xmds/ | 2012-01-31 13:42 | - |
| yacas/ | 2012-04-25 18:31 | - |
| metadata.xml | 2006-02-17 23:16 | 1.3K |