![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| 4ti2/ | 22-Jun-2012 14:01 | - |
| agda-executable/ | 18-Nov-2012 08:01 | - |
| agda-stdlib/ | 10-Jan-2013 13:01 | - |
| agda/ | 02-Apr-2013 08:31 | - |
| axiom/ | 25-Apr-2012 20:01 | - |
| cado-nfs/ | 23-Jan-2013 10:31 | - |
| calc/ | 09-Aug-2012 19:01 | - |
| cgal/ | 18-Jun-2013 23:01 | - |
| coq/ | 15-Apr-2013 10:01 | - |
| cvc3/ | 25-May-2013 02:01 | - |
| dataplot/ | 16-Oct-2012 20:31 | - |
| diagrtb/ | 21-Mar-2012 14:01 | - |
| drgeo/ | 04-May-2012 09:01 | - |
| e/ | 24-May-2013 07:01 | - |
| ent/ | 31-Jan-2012 13:42 | - |
| euler/ | 04-May-2012 09:01 | - |
| factmsieve/ | 30-Nov-2012 09:01 | - |
| fann/ | 08-May-2012 19:31 | - |
| flint/ | 21-May-2013 08:31 | - |
| form/ | 01-Jun-2012 22:31 | - |
| freemat/ | 02-Mar-2013 23:31 | - |
| fricas/ | 30-Apr-2013 17:31 | - |
| frobby/ | 16-Feb-2013 10:31 | - |
| genius/ | 02-Jan-2013 09:01 | - |
| geomview/ | 24-Oct-2012 21:01 | - |
| gfan/ | 23-Aug-2012 06:01 | - |
| ggnfs/ | 10-Mar-2013 09:01 | - |
| gimps/ | 12-Apr-2013 11:31 | - |
| ginac/ | 04-Jun-2013 17:31 | - |
| glpk/ | 18-Jun-2013 23:01 | - |
| gmm/ | 18-Jun-2013 23:01 | - |
| gmp-ecm/ | 10-Mar-2013 09:31 | - |
| gretl/ | 30-May-2013 18:31 | - |
| gsl-shell/ | 01-Mar-2013 12:31 | - |
| gwnum/ | 20-Apr-2013 23:01 | - |
| isabelle/ | 03-May-2013 16:01 | - |
| jags/ | 21-Feb-2013 14:01 | - |
| kodkod/ | 02-Feb-2013 13:31 | - |
| kodkodi/ | 24-May-2013 07:01 | - |
| lpsolve/ | 08-Dec-2012 12:31 | - |
| lybniz/ | 31-Jan-2012 13:42 | - |
| Macaulay2/ | 15-May-2013 08:31 | - |
| mathomatic/ | 18-Jun-2013 23:01 | - |
| maxima/ | 05-Jun-2013 17:01 | - |
| minisat/ | 07-Oct-2012 10:31 | - |
| mlpy/ | 06-Dec-2012 21:01 | - |
| msieve/ | 18-Jun-2013 04:31 | - |
| nauty/ | 16-May-2012 14:01 | - |
| nestedsums/ | 31-Jan-2012 13:42 | - |
| normaliz/ | 14-May-2013 08:31 | - |
| num-utils/ | 18-Jun-2013 23:01 | - |
| nusmv/ | 02-Feb-2013 08:01 | - |
| octave-epstk/ | 06-Jun-2012 23:01 | - |
| octave/ | 22-May-2013 06:01 | - |
| otter/ | 31-Jan-2012 13:42 | - |
| p9m4/ | 02-Jul-2012 15:31 | - |
| pari-data/ | 09-Aug-2012 21:31 | - |
| pari/ | 11-Jun-2013 19:01 | - |
| polymake/ | 03-Jun-2012 16:01 | - |
| prng/ | 07-Jul-2012 01:01 | - |
| prover9/ | 24-May-2013 07:01 | - |
| pspp/ | 30-Dec-2012 18:01 | - |
| pymc/ | 26-Sep-2012 18:31 | - |
| qtoctave/ | 02-Mar-2013 23:31 | - |
| reduce/ | 31-Jan-2012 13:42 | - |
| relational/ | 31-Jan-2012 13:42 | - |
| rkward/ | 18-Jun-2013 23:01 | - |
| rngstreams/ | 14-Feb-2013 04:31 | - |
| rstudio/ | 18-Apr-2013 17:01 | - |
| sha1-polyml/ | 24-May-2013 07:01 | - |
| singular/ | 15-Aug-2012 11:01 | - |
| snns/ | 26-Feb-2012 05:31 | - |
| spass/ | 05-Dec-2012 11:01 | - |
| spin/ | 30-Dec-2012 18:31 | - |
| topcom/ | 12-Jul-2012 07:31 | - |
| twelf/ | 24-May-2013 07:01 | - |
| unuran/ | 07-Jul-2012 01:01 | - |
| wxmaxima/ | 18-Jun-2013 23:01 | - |
| xmds/ | 31-Jan-2012 13:42 | - |
| yacas/ | 18-Jun-2013 23:01 | - |
| yafu/ | 21-Mar-2013 08:31 | - |
| metadata.xml | 17-Feb-2006 23:16 | 1.3K |