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