Index of /funtoo/sci-mathematics
Name Last modified Size Description
Parent Directory -
4ti2/ 02-Aug-2017 03:56 -
Macaulay2/ 02-Mar-2017 02:29 -
agda-lib-ffi/ 02-Mar-2017 02:29 -
agda-stdlib/ 02-Mar-2017 02:29 -
agda/ 02-Mar-2017 02:29 -
arb/ 30-Jul-2017 02:37 -
axiom/ 02-Mar-2017 02:29 -
bertini/ 02-Mar-2017 02:29 -
cado-nfs/ 21-Apr-2017 02:16 -
calc/ 12-Mar-2017 02:25 -
cgal/ 22-Jul-2017 02:35 -
coq/ 19-Jul-2017 03:44 -
cvc3/ 02-Mar-2017 02:29 -
dataplot/ 02-Mar-2017 02:29 -
diagrtb/ 02-Mar-2017 02:29 -
drgeo/ 02-Mar-2017 02:29 -
dunshire/ 02-Mar-2017 02:29 -
e/ 02-Mar-2017 02:29 -
ent/ 02-Mar-2017 02:29 -
euler/ 02-Mar-2017 02:29 -
factmsieve/ 02-Mar-2017 02:29 -
fann/ 02-Mar-2017 02:29 -
flint/ 02-Mar-2017 02:29 -
form/ 27-Jul-2017 02:37 -
fricas/ 27-Apr-2017 02:30 -
frobby/ 12-Mar-2017 02:25 -
genius/ 02-Mar-2017 02:29 -
geogebra/ 01-May-2017 02:34 -
geomview/ 02-Mar-2017 02:29 -
gfan/ 02-Mar-2017 02:29 -
ggnfs/ 02-Mar-2017 02:29 -
gimps/ 08-Apr-2017 02:28 -
ginac/ 12-Mar-2017 02:25 -
glpk/ 29-Jul-2017 02:40 -
gmm/ 07-Apr-2017 02:27 -
gmp-ecm/ 02-Mar-2017 02:29 -
gretl/ 02-Mar-2017 02:29 -
gsl-shell/ 02-Mar-2017 02:29 -
gwnum/ 02-Mar-2017 02:29 -
isabelle/ 02-Mar-2017 02:29 -
jags/ 02-Mar-2017 02:29 -
kodkod/ 21-Apr-2017 02:16 -
kodkodi/ 02-Mar-2017 02:29 -
lpsolve/ 02-Mar-2017 02:29 -
lybniz/ 02-Mar-2017 02:29 -
mathmod/ 02-Mar-2017 02:29 -
mathomatic/ 22-Jul-2017 02:35 -
maxima/ 01-Jun-2017 02:25 -
minisat/ 01-May-2017 02:34 -
mlpy/ 02-Mar-2017 02:29 -
msieve/ 02-Mar-2017 02:29 -
nauty/ 12-Jul-2017 02:24 -
nestedsums/ 18-Jun-2017 02:30 -
normaliz/ 02-Aug-2017 03:56 -
num-utils/ 02-Mar-2017 02:29 -
nusmv/ 21-Apr-2017 02:16 -
octave-epstk/ 02-Mar-2017 02:29 -
octave/ 13-Jun-2017 02:25 -
otter/ 12-Mar-2017 02:25 -
p9m4/ 02-Mar-2017 02:29 -
pari-data/ 02-Mar-2017 02:29 -
pari/ 12-Jun-2017 02:19 -
polymake/ 16-May-2017 02:32 -
prng/ 12-Mar-2017 02:25 -
prover9/ 02-Mar-2017 02:29 -
pspp/ 02-Mar-2017 02:29 -
pymc/ 01-May-2017 02:34 -
pymc3/ 29-Jun-2017 02:35 -
qtoctave/ 02-Mar-2017 02:29 -
reduce/ 02-Mar-2017 02:29 -
relational/ 30-Jul-2017 02:37 -
rkward/ 02-Mar-2017 02:29 -
rngstreams/ 02-Mar-2017 02:29 -
rstudio/ 25-Jul-2017 02:35 -
rw/ 02-Mar-2017 02:29 -
sha1-polyml/ 02-Mar-2017 02:29 -
singular/ 21-Apr-2017 02:16 -
snns/ 02-Mar-2017 02:29 -
spass/ 02-Mar-2017 02:29 -
spin/ 03-May-2017 02:23 -
topcom/ 02-Mar-2017 02:29 -
twelf/ 02-Mar-2017 02:29 -
unuran/ 02-Mar-2017 02:29 -
wxmaxima/ 02-Mar-2017 02:29 -
xmds/ 02-Mar-2017 02:29 -
yacas/ 12-Mar-2017 02:25 -
yafu/ 02-Mar-2017 02:29 -
z3/ 01-May-2017 02:34 -
metadata.xml 16-Jun-2016 18:18 1.3K