Index of /metadata/md5-cache/sci-mathematics/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
4ti2-1.6.22019-Jul-18 18:03:161.1Kapplication/octet-stream
4ti2-1.6.52019-Jul-18 18:03:161.1Kapplication/octet-stream
4ti2-1.6.62019-Jul-18 18:03:161.1Kapplication/octet-stream
4ti2-1.6.72019-Jul-18 18:03:160.8Kapplication/octet-stream
Macaulay2-1.8.2.1-r12019-Jul-18 18:03:162.4Kapplication/octet-stream
Manifest.gz2019-Jul-18 18:03:1623.5Kapplication/gzip
agda-2.4.2.5-r22019-Jul-18 18:03:164.7Kapplication/octet-stream
agda-2.5.2-r12019-Jul-18 18:03:165.7Kapplication/octet-stream
agda-lib-ffi-0.0.22019-Jul-18 18:03:160.9Kapplication/octet-stream
agda-lib-ffi-0.0.2-r22019-Jul-18 18:03:161.0Kapplication/octet-stream
agda-stdlib-2.4.2.52019-Jul-18 18:03:161.3Kapplication/octet-stream
agda-stdlib-2.5.2.0.132019-Jul-18 18:03:161.2Kapplication/octet-stream
alt-ergo-1.302018-Dec-16 09:39:270.5Kapplication/octet-stream
arb-2.11.1-r12019-Jul-18 18:03:160.9Kapplication/octet-stream
arb-2.16.02019-Jul-18 18:03:160.9Kapplication/octet-stream
axiom-2008052019-Jul-18 18:03:160.8Kapplication/octet-stream
bertini-1.42019-Jul-18 18:03:160.5Kapplication/octet-stream
calc-2.12.4.13-r12019-Jul-18 18:03:160.8Kapplication/octet-stream
calc-2.12.5.42019-Jul-18 18:03:160.5Kapplication/octet-stream
cgal-4.11.32019-Jul-18 18:03:161.7Kapplication/octet-stream
coq-8.62019-Jul-18 18:03:161.2Kapplication/octet-stream
coq-8.6.12019-Jul-18 18:03:161.2Kapplication/octet-stream
cvc3-2.4.1-r12017-Sep-08 11:09:180.7Kapplication/octet-stream
cvc4-1.62018-Jul-18 08:39:370.4Kapplication/octet-stream
cvc4-1.72019-Jul-18 18:03:160.9Kapplication/octet-stream
dataplot-200908212019-Jul-18 18:03:161.4Kapplication/octet-stream
dataplot-201312202019-Jul-18 18:03:161.4Kapplication/octet-stream
diagrtb-2.642019-Jul-18 18:03:161.1Kapplication/octet-stream
drgeo-1.1.0-r12019-Jul-18 18:03:160.9Kapplication/octet-stream
dunshire-0.1.12019-Jul-18 18:03:161.7Kapplication/octet-stream
e-1.52017-Feb-28 21:31:160.5Kapplication/octet-stream
e-1.62017-Feb-28 21:31:160.5Kapplication/octet-stream
e-1.8-r12017-Feb-28 21:31:160.5Kapplication/octet-stream
ent-1012022019-Jul-18 18:03:160.6Kapplication/octet-stream
euler-1.61.02019-Jul-18 18:03:161.0Kapplication/octet-stream
factmsieve-76-r12019-Jul-18 18:03:160.9Kapplication/octet-stream
fann-2.2.0-r12019-Jul-18 18:03:161.2Kapplication/octet-stream
fann-99992019-Jul-18 18:03:161.2Kapplication/octet-stream
flint-2.4.4-r12019-Jul-18 18:03:160.9Kapplication/octet-stream
flint-2.4.52019-Jul-18 18:03:160.9Kapplication/octet-stream
flint-2.5.22019-Jul-18 18:03:160.9Kapplication/octet-stream
form-4.12019-Jul-18 18:03:160.9Kapplication/octet-stream
form-4.2.02019-Jul-18 18:03:160.9Kapplication/octet-stream
fricas-1.3.42019-Jul-18 18:03:161.1Kapplication/octet-stream
fricas-1.3.52019-Jul-18 18:03:161.1Kapplication/octet-stream
frobby-0.9.0-r22019-Jul-18 18:03:160.5Kapplication/octet-stream
genius-1.0.232019-Jul-18 18:03:161.8Kapplication/octet-stream
geogebra-5.0.339.0_p20170308-r12019-Jul-18 18:03:1621.9Kapplication/octet-stream
geomview-1.9.5-r12019-Jul-18 18:03:161.1Kapplication/octet-stream
gfan-0.5-r12019-Jul-18 18:03:160.5Kapplication/octet-stream
ggnfs-0.77.1-r22019-Jul-18 18:03:161.0Kapplication/octet-stream
gimps-28.10-r12019-Jul-18 18:03:160.6Kapplication/octet-stream
gimps-29.4.72019-Jul-18 18:03:160.7Kapplication/octet-stream
gimps-29.4.82019-Jul-18 18:03:160.6Kapplication/octet-stream
ginac-1.6.62019-Jul-18 18:03:161.0Kapplication/octet-stream
ginac-1.7.22019-Jul-18 18:03:161.0Kapplication/octet-stream
ginac-1.7.42019-Jul-18 18:03:160.6Kapplication/octet-stream
glpk-4.632019-Jul-18 18:03:161.4Kapplication/octet-stream
gmm-5.12019-Jul-18 18:03:160.8Kapplication/octet-stream
gmp-ecm-6.4.3-r52019-Jul-18 18:03:160.9Kapplication/octet-stream
gmp-ecm-6.4.4-r12019-Jul-18 18:03:161.2Kapplication/octet-stream
gmp-ecm-99992019-Jul-18 18:03:161.2Kapplication/octet-stream
gretl-1.9.142019-Jul-18 18:03:161.7Kapplication/octet-stream
gretl-1.9.902019-Jul-18 18:03:161.8Kapplication/octet-stream
gsl-shell-2.3.0_beta12019-Jul-18 18:03:160.6Kapplication/octet-stream
gwnum-2772019-Jul-18 18:03:160.6Kapplication/octet-stream
isabelle-2016.12019-Jul-18 18:03:162.4Kapplication/octet-stream
jags-3.4.02019-Jul-18 18:03:161.0Kapplication/octet-stream
jags-4.0.02019-Jul-18 18:03:161.0Kapplication/octet-stream
jags-4.1.02019-Jul-18 18:03:160.8Kapplication/octet-stream
jags-4.2.02019-Jul-18 18:03:160.8Kapplication/octet-stream
kodkod-1.5.2-r12019-Jul-18 18:03:161.4Kapplication/octet-stream
kodkodi-1.5.2-r12019-Jul-18 18:03:161.3Kapplication/octet-stream
lpsolve-5.5.2.02018-May-27 10:08:530.4Kapplication/octet-stream
lybniz-1.3.2-r12019-Jul-18 18:03:161.2Kapplication/octet-stream
mathmod-4.1-r12019-Jul-18 18:03:160.9Kapplication/octet-stream
mathomatic-15.8.52019-Jul-18 18:03:160.8Kapplication/octet-stream
mathomatic-16.0.52019-Jul-18 18:03:160.9Kapplication/octet-stream
maxima-5.38.12019-Jul-18 18:03:162.3Kapplication/octet-stream
maxima-5.42.12019-Jul-18 18:03:162.3Kapplication/octet-stream
maxima-5.42.22019-Jul-18 18:03:162.3Kapplication/octet-stream
maxima-5.43.02019-Jul-18 18:03:162.4Kapplication/octet-stream
minisat-2.2.0-r42019-Jul-18 18:03:160.5Kapplication/octet-stream
minisat-2.2.0_p201309252019-Jul-18 18:03:160.6Kapplication/octet-stream
mlpy-3.5.02019-Jul-18 18:03:161.8Kapplication/octet-stream
msieve-1.51-r12019-Jul-18 18:03:160.9Kapplication/octet-stream
msieve-1.53-r12019-Jul-18 18:03:160.6Kapplication/octet-stream
msieve-99992019-Jul-18 18:03:160.9Kapplication/octet-stream
nauty-2.5.92018-Aug-15 10:04:370.3Kapplication/octet-stream
nauty-2.6.72019-Jul-18 18:03:160.9Kapplication/octet-stream
nestedsums-1.5.12019-Jul-18 18:03:160.9Kapplication/octet-stream
normaliz-2.12.22019-Jul-18 18:03:160.8Kapplication/octet-stream
normaliz-3.1.12019-Jul-18 18:03:160.8Kapplication/octet-stream
normaliz-3.1.32019-Jul-18 18:03:160.6Kapplication/octet-stream
normaliz-3.3.02019-Jul-18 18:03:161.1Kapplication/octet-stream
num-utils-0.32018-May-01 21:09:360.3Kapplication/octet-stream
num-utils-0.5-r12019-Jul-18 18:03:160.8Kapplication/octet-stream
nusmv-2.6.02019-Jul-18 18:03:161.4Kapplication/octet-stream
octave-4.2.22019-Jul-18 18:03:164.2Kapplication/octet-stream
octave-4.4.02019-Jul-18 18:03:164.4Kapplication/octet-stream
octave-4.4.12019-Jul-18 18:03:164.4Kapplication/octet-stream
octave-epstk-2.42019-Jul-18 18:03:160.8Kapplication/octet-stream
otter-3.3-r32019-Jul-18 18:03:160.5Kapplication/octet-stream
p9m4-05-r12019-Jul-18 18:03:161.4Kapplication/octet-stream
pari-2.9.4-r12019-Jul-18 18:03:161.2Kapplication/octet-stream
pari-data-201207262017-Feb-28 21:31:190.7Kapplication/octet-stream
polymake-3.0_p22019-Jul-18 18:03:161.5Kapplication/octet-stream
prng-3.0.2-r22019-Jul-18 18:03:160.7Kapplication/octet-stream
prover9-2009.11a2019-Jul-18 18:03:160.8Kapplication/octet-stream
pspp-1.2.02019-Jul-18 18:03:161.5Kapplication/octet-stream
pymc-2.3.62019-Jul-18 18:03:163.1Kapplication/octet-stream
pymc3-3.12019-Jul-18 18:03:168.5Kapplication/octet-stream
relational-2.52019-Jul-18 18:03:162.3Kapplication/octet-stream
rkward-0.7.0b2019-Jul-18 18:03:162.9Kapplication/octet-stream
rngstreams-1.0.12019-Jul-18 18:03:160.9Kapplication/octet-stream
rstudio-1.1.383-r12019-Jul-18 18:03:163.7Kapplication/octet-stream
rstudio-1.1.4532019-Jul-18 18:03:163.8Kapplication/octet-stream
rstudio-1.1.4632019-Jul-18 18:03:163.8Kapplication/octet-stream
rw-0.7-r22019-Jul-15 17:40:040.5Kapplication/octet-stream
sha1-polyml-5.5.02019-Jul-18 18:03:160.4Kapplication/octet-stream
sha1-polyml-5.6_p12019-Jul-18 18:03:160.4Kapplication/octet-stream
singular-3.1.62019-Jul-18 18:03:162.5Kapplication/octet-stream
singular-4.0.22019-Jul-18 18:03:161.6Kapplication/octet-stream
singular-4.0.32019-Jul-18 18:03:161.6Kapplication/octet-stream
snns-4.3-r22019-Jul-18 18:03:161.4Kapplication/octet-stream
snns-4.3-r32019-Jul-18 18:03:161.3Kapplication/octet-stream
spass-3.72018-Aug-15 10:04:370.5Kapplication/octet-stream
spass-3.92018-Aug-15 10:04:370.5Kapplication/octet-stream
spin-6.4.52019-Jul-18 18:03:160.8Kapplication/octet-stream
topcom-0.17.72019-Jul-18 18:03:160.9Kapplication/octet-stream
twelf-1.7.12019-Jul-18 18:03:160.9Kapplication/octet-stream
twelf-1.7.1-r12019-Jul-18 18:03:160.9Kapplication/octet-stream
unuran-1.8.12019-Jul-18 18:03:161.1Kapplication/octet-stream
why3-for-spark-20182019-Jul-18 18:03:161.3Kapplication/octet-stream
wxmaxima-15.08.22019-Jul-18 18:03:161.0Kapplication/octet-stream
wxmaxima-18.11.42019-Jul-18 18:03:161.3Kapplication/octet-stream
wxmaxima-19.03.12019-Jul-18 18:03:161.3Kapplication/octet-stream
wxmaxima-19.05.72019-Jul-18 18:03:161.3Kapplication/octet-stream
xmds-2.2.22019-Jul-18 18:03:161.6Kapplication/octet-stream
yacas-1.7.02019-Jul-18 18:03:161.4Kapplication/octet-stream
yafu-1.34.32019-Jul-18 18:03:160.9Kapplication/octet-stream
yafu-99992019-Jul-18 18:03:161.0Kapplication/octet-stream
z3-4.4.12019-Jul-18 18:03:161.6Kapplication/octet-stream
z3-4.5.02019-Jul-18 18:03:161.7Kapplication/octet-stream
z3-4.8.52019-Jul-18 18:03:163.6Kapplication/octet-stream
lighttpd/1.4.35