gentoo.mahdi.cz

  

sci-mathematics


4ti2 frama-c-impact libpoly rkward
abc frama-c-inout libsfmt rngstreams
acl2 frama-c-instantiate lie rstudio-desktop-bin
agda frama-c-loopanalysis lpsolve rw
agda-stdlib frama-c-metrics lrcalc sage-conf
alberta frama-c-nonterm ltl2ba sage-data-combinatorial_designs
alectryon frama-c-obfuscator mathcomp sage-data-elliptic_curves
alt-ergo frama-c-occurrence mathematica sage-data-graphs
arb frama-c-pdg mathlib-tools sage-data-polytopes_db
bertini frama-c-postdominators mathmod sage-doc
boolector frama-c-printapi mathomatic sage-flatsurf
btor2tools frama-c-qed maxima sage-sws2rst
cadabra frama-c-reduc mcube sagemath-bliss
cadical frama-c-report metamath sagemath-categories
cado-nfs frama-c-rtegen metamath-databases sagemath-environment
calc frama-c-scope minisat sagemath-meataxe
cgal frama-c-security-slicing modular_resolution sagemath-objects
cipi frama-c-server msieve sagemath-repl
cliquer frama-c-slicing nauty sagemath-sirocco
coq frama-c-sparecode nestedsums sagemath-standard
coq-mathcomp frama-c-studia netgen sage_docbuild
coq-serapi frama-c-users normaliz sage_setup
cplex-bin frama-c-variadic num-utils scilab-bin
cryptominisat freefem++ octave sfcgal
cu2 fricas octave-epstk sha1-polyml
cubex frobby octave-jsonlab shared_meataxe
cubicle FXrays octave-meta singular
cudd gambit Oid slepc
cvc4 gap opensmt smtinterpol
database_knotinfo gappa optimal snappy
dataplot gappalib-coq otter snappy-manifolds
diagrtb genius palp sofastatistics
dikcube geogebra-bin pari spherogram
dolfinx geomview pari-data spin
dsfmt gfan petsc spline3
dunshire giac pGroupCohomology stp
easycrypt gimps picosat surface-dynamics
eclib ginac planarity sympow
ent giza++ plfit topcom
eprover glpk plink twelf
euler gmm polymake ufc
ExportSageNB gmp-ecm primecount unuran
fann gp2c primesieve vampire
flint gretl prng verifpal
flocq gsl-shell prover9 verit
form hom4ps-bin proverif why3
frama-c isabelle-bin psmt2-frontend why3-for-spark
frama-c-aorai jags pspp wxmaxima
frama-c-callgraph kind2 pulp xmds
frama-c-constant-folding kissat pybrain yacas
frama-c-dive knot_floer_homology pyromaths yafu
frama-c-e-acsl latte-int reduce yices2
frama-c-eva lcalc ripser z3
frama-c-from lean