sci-mathematics

Summary

Package	Versions	Builds	Builds	Tests	QA
4ti2	3	0
Macaulay2	3	0
agda	7	0
agda-executable	3	0
agda-stdlib	3	0
axiom	1	0
bertini	1	0
cado-nfs	2	0
calc	5	0
cgal	1	0
coq	4	0
cvc3	1	0
dataplot	1	0
diagrtb	1	0
drgeo	1	0
e	3	0
ent	1	0
euler	1	0
factmsieve	1	0
fann	2	0
flint	2	0
form	1	0
freemat	2	0
fricas	2	0
frobby	1	0
genius	1	0
geomview	2	0
gfan	2	0
ggnfs	1	0
gimps	6	0
ginac	3	0
glpk	3	0
gmm	1	0
gmp-ecm	3	0
gretl	2	0
gsl-shell	1	0
gwnum	1	0
isabelle	4	0
jags	1	0
kodkod	1	0
kodkodi	1	0
lpsolve	1	0
lybniz	1	0
mathomatic	3	0
maxima	9	0
minisat	2	0
mlpy	1	0
msieve	2	0
nauty	1	0
nestedsums	1	0
normaliz	4	0
num-utils	2	0
nusmv	5	0
octave	4	0
octave-epstk	2	0
otter	2	0
p9m4	1	0
pari	9	0
pari-data	1	0
polymake	1	0
prng	1	0
prover9	1	0
pspp	2	0
pymc	2	0
qtoctave	3	0
reduce	2	0
relational	1	0
rkward	1	0
rngstreams	1	0
rstudio	4	0
sha1-polyml	1	0
singular	6	0
snns	2	0
spass	1	0
spin	3	0
topcom	2	0
twelf	1	0
unuran	1	0
wxmaxima	5	0
xmds	2	0
yacas	3	0
yafu	2	0