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