/gentoo/gentoo-portage/sci-mathematics/

117 directories 2 files
List Grid
Name
Size Modified
Up
4ti2/
abc/
acl2/
alectryon/
alt-ergo/
arb/
bertini/
boolector/
btor2tools/
cadabra/
cadical/
calc/
cgal/
clipper2/
cliquer/
coq-mathcomp/
coq-serapi/
coq/
cryptominisat/
cubicle/
cudd/
cvc4/
dataplot/
diagrtb/
dsfmt/
dunshire/
easycrypt/
eclib/
ent/
eprover/
euler/
fann/
flint/
flocq/
form/
fricas/
frobby/
gap/
gappa/
gappalib-coq/
genius/
geogebra-bin/
geomview/
gfan/
giac/
gimps/
ginac/
glpk/
gmm/
gmp-ecm/
gp2c/
gretl/
gsl-shell/
jags/
kind2/
kissat/
lcalc/
lean/
libpoly/
lpsolve/
lrcalc/
manifold/
mathematica/
mathlib-tools/
mathmod/
mathomatic/
maxima/
metamath-databases/
metamath/
minisat/
msieve/
nauty/
nestedsums/
normaliz/
num-utils/
octave-epstk/
octave/
opensmt/
otter/
palp/
pari-data/
pari/
petsc/
picosat/
planarity/
plfit/
polymake/
primecount/
primesieve/
prng/
prover9/
proverif/
psmt2-frontend/
pspp/
rkward/
rngstreams/
rw/
sha1-polyml/
singular/
slepc/
smtinterpol/
spin/
stp/
sympow/
topcom/
twelf/
unuran/
vampire/
verifpal/
verit/
why3-for-spark/
why3/
wxmaxima/
yacas/
yafu/
yices2/
z3/
Manifest.gz
19 KiB
metadata.xml
1.3 KiB