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	…
Macaulay2-1.7_pre	…
agda-2.4.0.1	…
agda-2.4.2.2-r1	…
agda-2.4.2.3-r1	…
agda-executable-2.3.0.1-r1	…
agda-executable-2.3.0.1-r2	…
agda-lib-ffi-0.0.2	…
agda-lib-ffi-0.0.2-r2	…
agda-stdlib-0.8	…
agda-stdlib-0.9	…
agda-stdlib-2.4.2.3	…
axiom-200805	…
bertini-1.4	…
cado-nfs-1.1	…
cado-nfs-2.0	…
cado-nfs-2.1	…
cado-nfs-2.1.1	…
calc-2.12.1.5	…
calc-2.12.2.2	…
calc-2.12.4.3	…
calc-2.12.4.4	…
calc-2.12.4.13	…
cgal-4.3	…
cgal-4.3-r1	…
cgal-4.6.1	…
coq-8.3_p1	…
coq-8.4_p1	…
coq-8.4_p2	…
coq-8.4_p3	…
coq-8.4_p5	…
coq-8.4_p6	…
cvc3-2.4.1	…
dataplot-20090821	…
diagrtb-2.64	…
drgeo-1.1.0	…
e-1.5	…
e-1.6	…
e-1.8	…
ent-101202	…
euler-1.61.0	…
factmsieve-76	…
fann-2.1.0_beta-r1	…
fann-2.2.0	…
flint-2.3	…
flint-2.4.3	…
flint-2.4.4-r1	…
flint-2.4.5	…
form-4.1	…
freemat-4.2	…
fricas-1.2.5	…
fricas-1.2.6	…
frobby-0.9.0-r1	…
genius-1.0.17	…
genius-1.0.19	…
geogebra-4.1.120.0	…
geomview-1.9.5	…
gfan-0.5	…
ggnfs-0.77.1-r2	…
gimps-27.9-r2	…
gimps-28.6	…
gimps-28.7	…
ginac-1.5.8	…
ginac-1.6.1	…
ginac-1.6.2	…
glpk-4.45	…
glpk-4.48	…
glpk-4.54	…
glpk-4.55	…
gmm-4.2	…
gmm-5.0	…
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.2.0	…
gwnum-277	…
isabelle-2011.1	…
isabelle-2011.1-r2	…
isabelle-2012-r1	…
isabelle-2013-r2	…
isabelle-2013.2-r1	…
jags-3.4.0	…
kodkod-1.5.2	…
kodkodi-1.5.2	…
lpsolve-5.5.2.0	…
lybniz-1.3.2	…
mathomatic-15.8.5	…
mathomatic-16.0.1	…
mathomatic-16.0.5	…
maxima-5.18.1	…
maxima-5.34.1	…
maxima-5.36.1	…
minisat-2.1.0	…
minisat-2.2.0-r3	…
mlpy-3.5.0	…
msieve-1.51	…
msieve-9999	…
nauty-2.5.9	…
nestedsums-1.4.12-r1	…
normaliz-2.12.2	…
num-utils-0.3	…
num-utils-0.5-r1	…
nusmv-2.3.1	…
nusmv-2.5.0	…
nusmv-2.5.2	…
nusmv-2.5.3	…
nusmv-2.5.4	…
octave-3.6.4	…
octave-3.6.4-r1	…
octave-3.8.1	…
octave-3.8.1-r1	…
octave-3.8.2	…
octave-4.0.0	…
octave-epstk-2.3	…
octave-epstk-2.4	…
otter-3.3-r1	…
otter-3.3-r2	…
p9m4-05-r1	…
pari-2.3.5	…
pari-2.5.0-r3	…
pari-2.5.1	…
pari-2.5.1-r1	…
pari-2.5.2	…
pari-2.5.3	…
pari-2.5.4	…
pari-2.7.0	…
pari-2.7.1	…
pari-data-20120726	…
polymake-2.13	…
polymake-2.14	…
polymake-2.14-r1	…
prng-3.0.2	…
prover9-2009.11a	…
pspp-0.8.1-r1	…
pspp-0.8.3	…
pymc-2.2	…
pymc-9999	…
qtoctave-0.10.1-r1	…
reduce-20110414-r1	…
relational-0.11	…
rkward-0.6.1	…
rngstreams-1.0.1	…
rstudio-0.97.336	…
rstudio-0.97.551	…
rstudio-0.98.490	…
rstudio-0.98.490-r1	…
rstudio-0.98.932	…
rstudio-0.98.953	…
rstudio-0.98.1028	…
rstudio-0.98.1091	…
rstudio-0.99.473	…
rw-0.7	…
sha1-polyml-5.5.0	…
singular-3.1.6	…
singular-4.0.2	…
snns-4.2-r8	…
snns-4.2-r9	…
snns-4.3-r2	…
spass-3.7	…
spin-6.2.1	…
spin-6.2.3	…
spin-6.2.5	…
topcom-0.17.4-r1	…
twelf-1.7.1	…
unuran-1.8.1	…
wxmaxima-13.04.2	…
wxmaxima-15.04.0-r1	…
xmds-1.6.5	…
xmds-1.6.6	…
yacas-1.3.2	…
yacas-1.3.3	…
yacas-1.3.4	…
yafu-1.34.3	…
yafu-9999	…