scimathematics/altergo




0 
0

0

0

scimathematics/why3forspark




0 
0

0

0

scimathematics/arb




0 
0

0

0

scimathematics/mathomatic




0 
0

0

0

scimathematics/numutils




0 
0

0

0

scimathematics/spin




0 
0

0

0

scimathematics/msieve




0 
0

0

0

scimathematics/axiom




0 
0

0

0

scimathematics/bertini




0 
0

0

0

scimathematics/cadonfs




0 
0

0

0

scimathematics/diagrtb




0 
0

0

0

scimathematics/drgeo




0 
0

0

0

scimathematics/dunshire




0 
0

0

0

scimathematics/ent




0 
0

0

0

scimathematics/euler




0 
0

0

0

scimathematics/factmsieve




0 
0

0

0

scimathematics/form




0 
0

0

0

scimathematics/genius



1.0.23

0 
0

2

0

scimathematics/geogebra




0 
0

0

0

scimathematics/geomview




0 
0

0

0

scimathematics/gfan




0 
0

0

0

scimathematics/ggnfs




0 
0

0

0

scimathematics/gimps




0 
0

0

0

scimathematics/gmm




0 
0

0

0

scimathematics/gslshell




0 
0

0

0

scimathematics/gwnum




0 
0

0

0

scimathematics/isabelle




0 
0

0

0

scimathematics/lpsolve




0 
0

0

0

scimathematics/lybniz




0 
0

0

0

scimathematics/mathmod




0 
0

0

0

scimathematics/mlpy




0 
0

0

0

scimathematics/nauty




0 
0

0

0

scimathematics/nestedsums




0 
0

0

0

scimathematics/nusmv




0 
0

0

0

scimathematics/octave




0 
0

0

0

scimathematics/otter




0 
0

0

0

scimathematics/p9m4




0 
0

0

0

scimathematics/paridata




0 
0

0

0

scimathematics/polymake




0 
0

0

0

scimathematics/prng




0 
0

0

0

scimathematics/prover9




0 
0

0

0

scimathematics/pymc




0 
0

0

0

scimathematics/pymc3



3.2

0 
0

1

0

scimathematics/qtoctave




0 
0

0

0

scimathematics/reduce




0 
0

0

0

scimathematics/rngstreams




0 
0

0

0

scimathematics/rw




0 
0

0

0

scimathematics/snns




0 
0

0

0

scimathematics/topcom



0.17.8

0 
0

1

0

scimathematics/twelf




0 
0

0

0

scimathematics/unuran




0 
0

0

0

scimathematics/xmds



2.2.3

0 
0

1

0

scimathematics/yacas




0 
0

0

0

scimathematics/yafu




0 
0

0

0

scimathematics/gmpecm




0 
0

0

0

scimathematics/octaveepstk




0 
0

0

0

scimathematics/agdalibffi




0 
0

0

0

scimathematics/jags




0 
0

0

0

scimathematics/calc



2.12.6.3

0 
0

4

0

scimathematics/gretl



2017d

0 
0

14

0

scimathematics/pari



2.9.3

0 
0

4

0

scimathematics/Macaulay2




0 
0

0

0

scimathematics/pspp



1.0.1

0 
0

3

0

scimathematics/fann




0 
0

0

0

scimathematics/dataplot




0 
0

0

0

scimathematics/minisat




0 
0

0

0

scimathematics/rkward




0 
0

0

0

scimathematics/cvc3




0 
0

0

0

scimathematics/coq




0 
0

0

0

scimathematics/e




0 
0

0

0

scimathematics/kodkod




0 
0

0

0

scimathematics/kodkodi




0 
0

0

0

scimathematics/sha1polyml




0 
0

0

0

scimathematics/spass




0 
0

0

0

scimathematics/z3




0 
0

0

0

scimathematics/wxmaxima




0 
0

0

0

scimathematics/ginac




0 
0

0

0

scimathematics/agdastdlib




0 
0

0

0

scimathematics/agda



2.5.3

0 
0

1

0

scimathematics/frobby




0 
0

0

0

scimathematics/normaliz




0 
0

0

0

scimathematics/relational




0 
0

0

0

scimathematics/glpk




0 
0

0

0

scimathematics/singular




0 
0

0

0

scimathematics/cgal



4.11

0 
0

1

0

scimathematics/fricas




0 
0

0

0

scimathematics/rstudio




0 
0

0

0

scimathematics/maxima




0 
0

0

0

scimathematics/4ti2




0 
0

0

0

scimathematics/flint




0 
0

0

0
