Index of /sci-mathematics/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
4ti2/2021-Jan-17 11:09:16-  Directory
agda/2021-Jan-17 11:09:16-  Directory
agda-lib-ffi/2021-Jan-17 11:09:16-  Directory
agda-stdlib/2021-Jan-17 11:09:16-  Directory
alt-ergo/2021-Jan-17 11:09:16-  Directory
arb/2021-Jan-17 11:09:16-  Directory
bertini/2021-Jan-17 11:09:16-  Directory
calc/2021-Jan-17 11:09:16-  Directory
cgal/2021-Jan-17 11:09:16-  Directory
cliquer/2021-Jan-17 11:09:16-  Directory
coq/2021-Jan-17 11:09:16-  Directory
cvc4/2021-Jan-17 11:09:16-  Directory
dataplot/2021-Jan-17 11:09:16-  Directory
diagrtb/2021-Jan-17 11:09:16-  Directory
dunshire/2021-Jan-17 11:09:16-  Directory
eclib/2021-Jan-17 11:09:16-  Directory
ent/2021-Jan-17 11:09:16-  Directory
euler/2021-Jan-17 11:09:16-  Directory
fann/2021-Jan-17 11:09:16-  Directory
flint/2021-Jan-17 11:09:16-  Directory
flintqs/2021-Jan-17 11:09:16-  Directory
form/2021-Jan-17 11:09:16-  Directory
fricas/2021-Jan-17 11:09:16-  Directory
frobby/2021-Jan-17 11:09:16-  Directory
genius/2021-Jan-17 11:09:16-  Directory
geogebra-bin/2021-Jan-17 11:09:16-  Directory
geomview/2021-Jan-17 11:09:16-  Directory
gfan/2021-Jan-17 11:09:16-  Directory
ggnfs/2021-Jan-17 11:09:16-  Directory
gimps/2021-Jan-17 11:09:16-  Directory
ginac/2021-Jan-17 11:09:16-  Directory
glpk/2021-Jan-17 11:09:16-  Directory
gmm/2021-Jan-17 11:09:16-  Directory
gmp-ecm/2021-Jan-17 11:09:16-  Directory
gp2c/2021-Jan-17 11:09:16-  Directory
gretl/2021-Jan-17 11:09:16-  Directory
gsl-shell/2021-Jan-17 11:09:16-  Directory
jags/2021-Jan-17 11:09:16-  Directory
lpsolve/2021-Jan-17 11:09:16-  Directory
lrcalc/2021-Jan-17 11:09:16-  Directory
mathematica/2021-Jan-17 11:09:16-  Directory
mathmod/2021-Jan-17 11:09:16-  Directory
mathomatic/2021-Jan-17 11:09:16-  Directory
maxima/2021-Jan-17 11:09:16-  Directory
minisat/2021-Jan-17 11:09:16-  Directory
msieve/2021-Jan-17 11:09:16-  Directory
nauty/2021-Jan-17 11:09:16-  Directory
nestedsums/2021-Jan-17 11:09:16-  Directory
normaliz/2021-Jan-17 11:09:16-  Directory
num-utils/2021-Jan-17 11:09:16-  Directory
octave/2021-Jan-17 11:09:16-  Directory
octave-epstk/2021-Jan-17 11:09:16-  Directory
otter/2021-Jan-17 11:09:16-  Directory
pari/2021-Jan-17 11:09:16-  Directory
pari-data/2021-Jan-17 11:09:16-  Directory
petsc/2021-Jan-17 11:09:16-  Directory
planarity/2021-Jan-17 11:09:16-  Directory
polymake/2021-Jan-17 11:09:16-  Directory
prng/2021-Jan-17 11:09:16-  Directory
prover9/2021-Jan-17 11:09:16-  Directory
psmt2-frontend/2021-Jan-17 11:09:16-  Directory
pspp/2021-Jan-17 11:09:16-  Directory
relational/2021-Jan-17 11:09:16-  Directory
rkward/2021-Jan-17 11:09:16-  Directory
rngstreams/2021-Jan-17 11:09:16-  Directory
rstudio/2021-Jan-17 11:09:16-  Directory
rw/2021-Jan-17 11:09:16-  Directory
sha1-polyml/2021-Jan-17 11:09:16-  Directory
singular/2021-Jan-17 11:09:16-  Directory
slepc/2021-Jan-17 11:09:16-  Directory
spin/2021-Jan-17 11:09:16-  Directory
sympow/2021-Jan-17 11:09:16-  Directory
topcom/2021-Jan-17 11:09:16-  Directory
twelf/2021-Jan-17 11:09:16-  Directory
unuran/2021-Jan-17 11:09:16-  Directory
why3-for-spark/2021-Jan-17 11:09:16-  Directory
wxmaxima/2021-Jan-17 11:09:16-  Directory
yacas/2021-Jan-17 11:09:16-  Directory
yafu/2021-Jan-17 11:09:16-  Directory
z3/2021-Jan-17 11:09:16-  Directory
Manifest.gz2021-Jan-17 05:39:2213.1Kapplication/gzip
metadata.xml2015-Aug-24 22:30:341.3Kapplication/xml
lighttpd/1.4.35