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	…
Macaulay2	…
agda	…
agda-executable	…
agda-stdlib	…
axiom	…
calc	…
cgal	…
coq	…
cvc3	…
dataplot	…
diagrtb	…
drgeo	…
e	…
ent	…
euler	…
fann	…
form	…
freemat	…
fricas	…
frobby	…
genius	…
geomview	…
gfan	…
gimps	…
ginac	…
glpk	…
gmm	…
gretl	…
isabelle	…
jags	…
lpsolve	…
lybniz	…
mathomatic	…
maxima	…
minisat	…
mlpy	…
nauty	…
nestedsums	…
normaliz	…
num-utils	…
nusmv	…
octave	…
octave-epstk	…
otter	…
p9m4	…
pari	…
pari-data	…
polymake	…
prng	…
prover9	…
pspp	…
qtoctave	…
reduce	…
relational	…
rkward	…
rngstreams	…
scilab	…
singular	…
snns	…
spass	…
spin	…
topcom	…
unuran	…
wxmaxima	…
xmds	…
yacas	…
metadata.xml	…