scimathematics/lybniz




0 
0

0

0

scimathematics/altergo



2.3.1

0 
0

1

0

scimathematics/why3forspark




0 
0

0

0

scimathematics/arb



2.18.1

0 
0

1

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




0 
0

0

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



5.4

0 
0

1

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/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.9.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



3.0.0

0 
0

2

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.7.2

0 
0

5

0

scimathematics/gretl



2020_rc

0 
0

25

0

scimathematics/pari




0 
0

0

0

scimathematics/Macaulay2




0 
0

0

0

scimathematics/pspp




0 
0

0

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/z3




0 
0

0

0

scimathematics/spass




0 
0

0

0

scimathematics/sha1polyml



5.7.1

0 
0

1

0

scimathematics/wxmaxima




0 
0

0

0

scimathematics/ginac



1.7.10

0 
0

1

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




0 
0

0

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



2.6.1

0 
0

1

0
