Index of /gentoo/rsync/sci-mathematics/


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