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	…
agda	…
agda-lib-ffi	…
agda-stdlib	…
alt-ergo	…
arb	…
axiom	…
bertini	…
calc	…
cgal	…
cliquer	…
coq	…
cvc4	…
dataplot	…
diagrtb	…
dunshire	…
eclib	…
ent	…
euler	…
fann	…
flint	…
flintqs	…
form	…
fricas	…
frobby	…
genius	…
geogebra	…
geomview	…
gfan	…
ggnfs	…
gimps	…
ginac	…
glpk	…
gmm	…
gmp-ecm	…
gp2c	…
gretl	…
gsl-shell	…
jags	…
lpsolve	…
lrcalc	…
mathematica	…
mathmod	…
mathomatic	…
maxima	…
minisat	…
msieve	…
nauty	…
nestedsums	…
normaliz	…
num-utils	…
octave	…
octave-epstk	…
otter	…
pari	…
pari-data	…
petsc	…
planarity	…
polymake	…
prng	…
prover9	…
psmt2-frontend	…
pspp	…
pymc3	…
relational	…
rkward	…
rngstreams	…
rstudio	…
rw	…
sha1-polyml	…
singular	…
slepc	…
spin	…
sympow	…
topcom	…
twelf	…
unuran	…
why3-for-spark	…
wxmaxima	…
yacas	…
yafu	…
z3	…
Manifest.gz	…
metadata.xml	…