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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
4ti2-1.6.22019-Sep-15 19:40:401.1Kapplication/octet-stream
4ti2-1.6.52019-Sep-15 19:40:401.1Kapplication/octet-stream
4ti2-1.6.62019-Sep-15 19:40:401.1Kapplication/octet-stream
4ti2-1.6.72019-Sep-13 21:31:210.8Kapplication/octet-stream
Macaulay2-1.8.2.1-r12019-Sep-30 11:16:502.4Kapplication/octet-stream
Manifest.gz2019-Oct-12 21:09:5223.3Kapplication/gzip
agda-2.4.2.5-r22019-Sep-13 21:31:214.7Kapplication/octet-stream
agda-2.5.2-r12019-Sep-13 21:31:215.7Kapplication/octet-stream
agda-lib-ffi-0.0.22019-Sep-13 21:31:210.9Kapplication/octet-stream
agda-lib-ffi-0.0.2-r22019-Sep-13 21:31:211.0Kapplication/octet-stream
agda-stdlib-2.4.2.52019-Sep-13 21:31:211.3Kapplication/octet-stream
agda-stdlib-2.5.2.0.132019-Sep-13 21:31:211.2Kapplication/octet-stream
alt-ergo-1.302019-Sep-12 08:39:380.6Kapplication/octet-stream
alt-ergo-2.3.02019-Sep-12 08:39:380.7Kapplication/octet-stream
arb-2.11.1-r12019-Sep-13 21:31:210.9Kapplication/octet-stream
arb-2.16.02019-Sep-13 21:31:210.9Kapplication/octet-stream
axiom-2008052019-Sep-30 11:16:500.8Kapplication/octet-stream
bertini-1.42019-Sep-13 21:31:210.5Kapplication/octet-stream
calc-2.12.4.13-r12019-Sep-13 21:31:210.8Kapplication/octet-stream
calc-2.12.5.42019-Sep-13 21:31:210.5Kapplication/octet-stream
cgal-4.11.32019-Sep-30 11:16:501.7Kapplication/octet-stream
coq-8.62019-Sep-13 21:31:211.2Kapplication/octet-stream
coq-8.6.12019-Sep-13 21:31:211.2Kapplication/octet-stream
coq-8.9.12019-Sep-24 12:09:450.9Kapplication/octet-stream
cvc4-1.62018-Jul-18 08:39:370.4Kapplication/octet-stream
cvc4-1.72019-Sep-30 11:16:501.0Kapplication/octet-stream
dataplot-200908212019-Sep-13 21:31:211.4Kapplication/octet-stream
dataplot-201312202019-Sep-13 21:31:211.4Kapplication/octet-stream
diagrtb-2.642019-Sep-30 11:16:501.1Kapplication/octet-stream
dunshire-0.1.12019-Sep-13 21:31:211.7Kapplication/octet-stream
ent-1012022019-Sep-13 21:31:210.6Kapplication/octet-stream
euler-1.61.02019-Sep-15 19:40:401.0Kapplication/octet-stream
factmsieve-76-r12019-Sep-13 21:31:210.9Kapplication/octet-stream
fann-2.2.0-r12019-Sep-30 11:16:501.2Kapplication/octet-stream
fann-99992019-Sep-30 11:16:501.2Kapplication/octet-stream
flint-2.4.4-r12019-Sep-13 21:31:210.9Kapplication/octet-stream
flint-2.4.52019-Sep-13 21:31:210.9Kapplication/octet-stream
flint-2.5.22019-Sep-13 21:31:210.9Kapplication/octet-stream
form-4.12019-Sep-13 21:31:210.9Kapplication/octet-stream
form-4.2.02019-Sep-13 21:31:210.9Kapplication/octet-stream
fricas-1.3.42019-Sep-13 21:31:211.1Kapplication/octet-stream
fricas-1.3.52019-Sep-13 21:31:211.1Kapplication/octet-stream
frobby-0.9.0-r22019-Sep-13 21:31:210.5Kapplication/octet-stream
genius-1.0.232019-Sep-13 21:31:211.8Kapplication/octet-stream
geogebra-5.0.339.0_p20170308-r12019-Sep-13 21:31:2121.9Kapplication/octet-stream
geomview-1.9.5-r12019-Sep-30 11:16:501.1Kapplication/octet-stream
gfan-0.5-r12019-Sep-13 21:31:210.5Kapplication/octet-stream
ggnfs-0.77.1-r22019-Sep-13 21:31:211.0Kapplication/octet-stream
gimps-29.4.72019-Oct-10 14:39:590.7Kapplication/octet-stream
gimps-29.4.82019-Oct-10 14:39:590.6Kapplication/octet-stream
gimps-29.8.62019-Oct-10 14:39:590.6Kapplication/octet-stream
ginac-1.6.62019-Sep-15 19:40:401.0Kapplication/octet-stream
ginac-1.7.22019-Sep-30 11:16:501.0Kapplication/octet-stream
ginac-1.7.42019-Sep-30 11:16:500.6Kapplication/octet-stream
glpk-4.632019-Oct-11 18:11:191.4Kapplication/octet-stream
gmm-5.12019-Oct-11 18:11:190.8Kapplication/octet-stream
gmp-ecm-6.4.3-r52019-Sep-13 21:31:210.9Kapplication/octet-stream
gmp-ecm-6.4.4-r12019-Sep-30 11:16:501.2Kapplication/octet-stream
gmp-ecm-7.0.4-r12019-Sep-30 11:16:501.2Kapplication/octet-stream
gmp-ecm-99992019-Sep-30 11:16:501.2Kapplication/octet-stream
gretl-1.9.142019-Sep-13 21:31:211.7Kapplication/octet-stream
gretl-1.9.902019-Sep-13 21:31:211.8Kapplication/octet-stream
gsl-shell-2.3.0_beta12019-Sep-13 21:31:210.6Kapplication/octet-stream
jags-3.4.02019-Sep-15 19:40:401.0Kapplication/octet-stream
jags-4.0.02019-Sep-15 19:40:401.0Kapplication/octet-stream
jags-4.1.02019-Sep-13 21:31:210.8Kapplication/octet-stream
jags-4.2.02019-Sep-13 21:31:210.8Kapplication/octet-stream
lpsolve-5.5.2.02019-Jul-31 01:09:540.4Kapplication/octet-stream
lybniz-1.3.2-r12019-Sep-13 21:31:211.2Kapplication/octet-stream
mathmod-4.1-r12019-Sep-13 21:31:210.9Kapplication/octet-stream
mathomatic-15.8.52019-Sep-30 11:16:500.8Kapplication/octet-stream
mathomatic-16.0.52019-Sep-30 11:16:500.9Kapplication/octet-stream
maxima-5.38.12019-Sep-13 21:31:212.3Kapplication/octet-stream
maxima-5.42.12019-Sep-13 21:31:212.3Kapplication/octet-stream
maxima-5.42.22019-Sep-13 21:31:212.3Kapplication/octet-stream
maxima-5.43.02019-Sep-13 21:31:212.4Kapplication/octet-stream
minisat-2.2.0-r42019-Sep-13 21:31:210.5Kapplication/octet-stream
minisat-2.2.0_p201309252019-Sep-13 21:31:210.6Kapplication/octet-stream
mlpy-3.5.02019-Sep-13 21:31:211.8Kapplication/octet-stream
msieve-1.51-r12019-Sep-13 21:31:210.9Kapplication/octet-stream
msieve-1.53-r12019-Sep-13 21:31:210.6Kapplication/octet-stream
msieve-99992019-Sep-13 21:31:210.9Kapplication/octet-stream
nauty-2.5.92018-Aug-15 10:04:370.3Kapplication/octet-stream
nauty-2.6.72019-Sep-13 21:31:210.9Kapplication/octet-stream
nestedsums-1.5.12019-Sep-30 11:16:500.9Kapplication/octet-stream
normaliz-2.12.22019-Sep-13 21:31:210.8Kapplication/octet-stream
normaliz-3.1.12019-Sep-13 21:31:210.8Kapplication/octet-stream
normaliz-3.1.32019-Sep-13 21:31:210.6Kapplication/octet-stream
normaliz-3.3.02019-Sep-13 21:31:211.1Kapplication/octet-stream
num-utils-0.5-r12019-Sep-13 21:31:210.8Kapplication/octet-stream
nusmv-2.6.02019-Sep-30 11:16:501.4Kapplication/octet-stream
octave-4.2.22019-Oct-11 18:11:194.2Kapplication/octet-stream
octave-4.4.02019-Oct-11 18:11:194.4Kapplication/octet-stream
octave-4.4.12019-Oct-11 18:11:194.4Kapplication/octet-stream
octave-5.1.02019-Oct-11 18:11:194.4Kapplication/octet-stream
octave-epstk-2.42019-Sep-13 21:31:210.8Kapplication/octet-stream
otter-3.3-r32019-Sep-13 21:31:210.5Kapplication/octet-stream
p9m4-05-r12019-Sep-13 21:31:211.4Kapplication/octet-stream
pari-2.9.4-r12019-Oct-11 18:11:191.2Kapplication/octet-stream
pari-data-201207262019-Oct-11 18:11:190.7Kapplication/octet-stream
petsc-3.11.32019-Sep-30 11:16:501.9Kapplication/octet-stream
polymake-3.0_p22019-Sep-30 11:16:501.5Kapplication/octet-stream
prng-3.0.2-r22019-Sep-13 21:31:210.7Kapplication/octet-stream
prover9-2009.11a2019-Sep-13 21:31:210.8Kapplication/octet-stream
psmt2-frontend-0.22019-Sep-13 21:31:210.8Kapplication/octet-stream
pspp-1.2.02019-Sep-13 21:31:211.5Kapplication/octet-stream
pymc-2.3.62019-Sep-30 11:16:503.1Kapplication/octet-stream
pymc3-3.12019-Sep-13 21:31:218.5Kapplication/octet-stream
relational-2.52019-Sep-13 21:31:212.3Kapplication/octet-stream
rkward-0.7.0b2019-Sep-30 11:16:502.9Kapplication/octet-stream
rngstreams-1.0.12019-Sep-15 19:40:400.9Kapplication/octet-stream
rstudio-1.1.383-r12019-Oct-12 21:09:523.7Kapplication/octet-stream
rstudio-1.1.4532019-Oct-12 21:09:523.8Kapplication/octet-stream
rstudio-1.1.4632019-Oct-12 21:09:523.8Kapplication/octet-stream
rstudio-1.1.463-r12019-Oct-12 21:09:523.6Kapplication/octet-stream
rstudio-1.2.13352019-Oct-12 21:09:523.6Kapplication/octet-stream
rw-0.8-r12019-Oct-09 00:39:420.8Kapplication/octet-stream
sha1-polyml-5.5.02019-Sep-13 21:31:210.4Kapplication/octet-stream
sha1-polyml-5.6_p12019-Sep-13 21:31:210.4Kapplication/octet-stream
singular-3.1.62019-Sep-30 11:16:502.5Kapplication/octet-stream
singular-4.0.22019-Sep-30 11:16:501.6Kapplication/octet-stream
singular-4.0.32019-Sep-30 11:16:501.6Kapplication/octet-stream
slepc-3.11.12019-Sep-30 11:16:500.8Kapplication/octet-stream
snns-4.3-r22019-Sep-13 21:31:211.4Kapplication/octet-stream
snns-4.3-r32019-Sep-13 21:31:211.3Kapplication/octet-stream
spin-6.4.52019-Sep-13 21:31:210.8Kapplication/octet-stream
topcom-0.17.72019-Sep-30 11:16:500.9Kapplication/octet-stream
twelf-1.7.12019-Sep-13 21:31:210.9Kapplication/octet-stream
twelf-1.7.1-r12019-Sep-13 21:31:210.9Kapplication/octet-stream
unuran-1.8.12019-Sep-15 19:40:401.1Kapplication/octet-stream
why3-for-spark-20182019-Sep-13 21:31:211.3Kapplication/octet-stream
why3-for-spark-20192019-Oct-11 09:39:381.3Kapplication/octet-stream
wxmaxima-18.11.42019-Sep-30 11:16:501.3Kapplication/octet-stream
wxmaxima-19.05.72019-Sep-30 11:16:501.3Kapplication/octet-stream
wxmaxima-19.08.12019-Sep-30 11:16:501.3Kapplication/octet-stream
wxmaxima-19.09.02019-Sep-30 11:16:501.1Kapplication/octet-stream
xmds-2.2.22019-Sep-13 21:31:211.6Kapplication/octet-stream
yacas-1.7.0-r12019-Sep-30 11:16:501.5Kapplication/octet-stream
yafu-1.34.32019-Sep-13 21:31:210.9Kapplication/octet-stream
yafu-99992019-Sep-13 21:31:211.0Kapplication/octet-stream
z3-4.4.12019-Sep-30 11:16:501.6Kapplication/octet-stream
z3-4.5.02019-Sep-30 11:16:501.7Kapplication/octet-stream
z3-4.8.52019-Sep-30 11:16:503.6Kapplication/octet-stream
z3-4.8.62019-Sep-30 11:16:503.4Kapplication/octet-stream
lighttpd/1.4.35