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