You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

…
..
4ti2-1.6.2	…
4ti2-1.6.5	…
4ti2-1.6.6	…
4ti2-1.6.7	…
Macaulay2-1.8.2.1-r1	…
Manifest.gz	…
agda-2.4.2.5-r2	…
agda-2.5.2-r1	…
agda-lib-ffi-0.0.2	…
agda-lib-ffi-0.0.2-r2	…
agda-stdlib-2.4.2.5	…
agda-stdlib-2.5.2.0.13	…
alt-ergo-1.30	…
arb-2.11.1-r1	…
arb-2.16.0	…
axiom-200805	…
bertini-1.4	…
calc-2.12.4.13-r1	…
calc-2.12.5.4	…
cgal-4.11.3	…
coq-8.6	…
coq-8.6.1	…
cvc3-2.4.1-r1	…
cvc4-1.6	…
cvc4-1.7	…
dataplot-20090821	…
dataplot-20131220	…
diagrtb-2.64	…
drgeo-1.1.0-r1	…
dunshire-0.1.1	…
e-1.5	…
e-1.6	…
e-1.8-r1	…
ent-101202	…
euler-1.61.0	…
factmsieve-76-r1	…
fann-2.2.0-r1	…
fann-9999	…
flint-2.4.4-r1	…
flint-2.4.5	…
flint-2.5.2	…
form-4.1	…
form-4.2.0	…
fricas-1.3.4	…
fricas-1.3.5	…
frobby-0.9.0-r2	…
genius-1.0.23	…
geogebra-5.0.339.0_p20170308-r1	…
geomview-1.9.5-r1	…
gfan-0.5-r1	…
ggnfs-0.77.1-r2	…
gimps-28.10-r1	…
gimps-29.4.7	…
gimps-29.4.8	…
ginac-1.6.6	…
ginac-1.7.2	…
ginac-1.7.4	…
glpk-4.63	…
gmm-5.1	…
gmp-ecm-6.4.3-r5	…
gmp-ecm-6.4.4-r1	…
gmp-ecm-9999	…
gretl-1.9.14	…
gretl-1.9.90	…
gsl-shell-2.3.0_beta1	…
gwnum-277	…
isabelle-2016.1	…
jags-3.4.0	…
jags-4.0.0	…
jags-4.1.0	…
jags-4.2.0	…
kodkod-1.5.2-r1	…
kodkodi-1.5.2-r1	…
lpsolve-5.5.2.0	…
lybniz-1.3.2-r1	…
mathmod-4.1-r1	…
mathomatic-15.8.5	…
mathomatic-16.0.5	…
maxima-5.38.1	…
maxima-5.42.1	…
maxima-5.42.2	…
maxima-5.43.0	…
minisat-2.2.0-r4	…
minisat-2.2.0_p20130925	…
mlpy-3.5.0	…
msieve-1.51-r1	…
msieve-1.53-r1	…
msieve-9999	…
nauty-2.5.9	…
nauty-2.6.7	…
nestedsums-1.5.1	…
normaliz-2.12.2	…
normaliz-3.1.1	…
normaliz-3.1.3	…
normaliz-3.3.0	…
num-utils-0.3	…
num-utils-0.5-r1	…
nusmv-2.6.0	…
octave-4.2.2	…
octave-4.4.0	…
octave-4.4.1	…
octave-epstk-2.4	…
otter-3.3-r3	…
p9m4-05-r1	…
pari-2.9.4-r1	…
pari-data-20120726	…
polymake-3.0_p2	…
prng-3.0.2-r2	…
prover9-2009.11a	…
pspp-1.2.0	…
pymc-2.3.6	…
pymc3-3.1	…
relational-2.5	…
rkward-0.7.0b	…
rngstreams-1.0.1	…
rstudio-1.1.383-r1	…
rstudio-1.1.453	…
rstudio-1.1.463	…
rw-0.7-r2	…
sha1-polyml-5.5.0	…
sha1-polyml-5.6_p1	…
singular-3.1.6	…
singular-4.0.2	…
singular-4.0.3	…
snns-4.3-r2	…
snns-4.3-r3	…
spass-3.7	…
spass-3.9	…
spin-6.4.5	…
topcom-0.17.7	…
twelf-1.7.1	…
twelf-1.7.1-r1	…
unuran-1.8.1	…
why3-for-spark-2018	…
wxmaxima-15.08.2	…
wxmaxima-18.11.4	…
wxmaxima-19.03.1	…
wxmaxima-19.05.7	…
xmds-2.2.2	…
yacas-1.7.0-r1	…
yafu-1.34.3	…
yafu-9999	…
z3-4.4.1	…
z3-4.5.0	…
z3-4.8.5	…