[ICO]NameLast modifiedSize

[DIR]Parent Directory  -
[DIR]4ti2/31-Jul-2017 20:12 -
[DIR]agda-lib-ffi/09-Aug-2015 02:38 -
[DIR]agda-stdlib/16-Feb-2017 11:21 -
[DIR]agda/16-Feb-2017 11:21 -
[DIR]arb/25-Jul-2017 21:44 -
[DIR]axiom/09-Aug-2015 02:38 -
[DIR]bertini/09-Aug-2015 02:38 -
[DIR]calc/07-Mar-2016 09:06 -
[DIR]cgal/21-Jul-2017 19:37 -
[DIR]coq/18-Jul-2017 19:18 -
[DIR]cvc3/30-Oct-2016 00:29 -
[DIR]dataplot/18-Feb-2016 10:01 -
[DIR]diagrtb/09-Aug-2015 02:38 -
[DIR]drgeo/12-Feb-2017 18:02 -
[DIR]dunshire/16-Nov-2016 15:00 -
[DIR]e/03-Jan-2017 00:11 -
[DIR]ent/09-Aug-2015 02:38 -
[DIR]euler/09-Aug-2015 02:38 -
[DIR]factmsieve/09-Aug-2015 02:38 -
[DIR]fann/15-Jan-2017 12:20 -
[DIR]flint/05-Jan-2016 16:09 -
[DIR]form/26-Jul-2017 17:53 -
[DIR]fricas/26-Apr-2017 08:10 -
[DIR]frobby/20-Feb-2017 00:45 -
[DIR]genius/27-Nov-2016 16:04 -
[DIR]geogebra/09-Mar-2017 15:23 -
[DIR]geomview/09-Aug-2015 02:38 -
[DIR]gfan/19-Feb-2017 19:35 -
[DIR]ggnfs/09-Aug-2015 02:38 -
[DIR]gimps/07-Apr-2017 01:55 -
[DIR]ginac/11-Mar-2017 11:12 -
[DIR]glpk/27-Jul-2017 23:19 -
[DIR]gmm/05-Apr-2017 20:51 -
[DIR]gmp-ecm/09-Aug-2015 02:38 -
[DIR]gretl/09-Aug-2015 02:38 -
[DIR]gsl-shell/07-Sep-2016 23:26 -
[DIR]gwnum/09-Aug-2015 02:38 -
[DIR]isabelle/28-Jan-2017 09:31 -
[DIR]jags/02-Mar-2016 09:32 -
[DIR]kodkod/02-Jan-2017 23:52 -
[DIR]kodkodi/02-Jan-2017 23:56 -
[DIR]lpsolve/09-Aug-2015 02:38 -
[DIR]lybniz/09-Aug-2015 02:38 -
[DIR]Macaulay2/15-Apr-2016 09:30 -
[DIR]mathmod/15-Mar-2016 23:41 -
[DIR]mathomatic/21-Jul-2017 19:37 -
[DIR]maxima/30-May-2017 21:37 -
[DIR]minisat/13-Sep-2016 10:03 -
[DIR]mlpy/09-Aug-2015 02:38 -
[DIR]msieve/09-Aug-2015 02:38 -
[DIR]nauty/11-Jul-2017 06:07 -
[DIR]nestedsums/16-Jun-2017 21:55 -
[DIR]normaliz/31-Jul-2017 20:12 -
[DIR]num-utils/09-Aug-2015 02:38 -
[DIR]nusmv/24-Sep-2016 15:30 -
[DIR]octave-epstk/09-Aug-2015 02:38 -
[DIR]octave/11-Jun-2017 23:43 -
[DIR]otter/11-Mar-2017 11:48 -
[DIR]p9m4/09-Aug-2015 02:38 -
[DIR]pari-data/09-Aug-2015 02:38 -
[DIR]pari/09-Aug-2015 02:38 -
[DIR]polymake/18-Feb-2017 23:41 -
[DIR]prng/11-Mar-2017 17:43 -
[DIR]prover9/09-Aug-2015 02:38 -
[DIR]pspp/02-Jan-2017 23:09 -
[DIR]pymc/24-Sep-2016 15:30 -
[DIR]pymc3/07-Jan-2017 02:00 -
[DIR]qtoctave/09-Aug-2015 02:38 -
[DIR]reduce/09-Aug-2015 02:38 -
[DIR]relational/29-Jul-2017 05:42 -
[DIR]rkward/15-Sep-2016 16:41 -
[DIR]rngstreams/09-Aug-2015 02:38 -
[DIR]rstudio/24-Jul-2017 06:13 -
[DIR]rw/09-Aug-2015 02:38 -
[DIR]sha1-polyml/03-Jan-2017 00:02 -
[DIR]singular/16-Sep-2016 16:04 -
[DIR]snns/02-Jan-2017 23:09 -
[DIR]spass/03-Jan-2017 00:07 -
[DIR]spin/09-Jan-2016 13:00 -
[DIR]topcom/25-Sep-2016 20:36 -
[DIR]twelf/09-Aug-2015 02:38 -
[DIR]unuran/09-Aug-2015 02:38 -
[DIR]wxmaxima/25-Jan-2017 16:02 -
[DIR]xmds/02-Jan-2017 23:09 -
[DIR]yacas/11-Mar-2017 12:46 -
[DIR]yafu/09-Aug-2015 02:38 -
[DIR]z3/02-Jan-2017 01:20 -
[   ]metadata.xml24-Aug-2015 22:30 1.3K