Index of /os/gentoo/portage/sci-mathematics
Parent Directory
4ti2/
Manifest.gz
agda-stdlib/
agda/
alectryon/
alt-ergo/
arb/
bertini/
cadabra/
cadical/
calc/
cgal/
cliquer/
coq-mathcomp/
coq-serapi/
coq/
cryptominisat/
cvc4/
dataplot/
diagrtb/
dsfmt/
dunshire/
easycrypt/
eclib/
ent/
euler/
fann/
flint/
flintqs/
form/
fricas/
frobby/
genius/
geogebra-bin/
geomview/
gfan/
giac/
gimps/
ginac/
glpk/
gmm/
gmp-ecm/
gp2c/
gretl/
gsl-shell/
jags/
lcalc/
lean/
lpsolve/
lrcalc/
mathematica/
mathlib-tools/
mathmod/
mathomatic/
maxima/
metadata.xml
metamath-databases/
metamath/
minisat/
msieve/
nauty/
nestedsums/
normaliz/
num-utils/
octave-epstk/
octave/
otter/
pari-data/
pari/
petsc/
planarity/
polymake/
primecount/
primesieve/
prng/
prover9/
psmt2-frontend/
pspp/
relational/
rkward/
rngstreams/
rstudio/
rw/
sha1-polyml/
singular/
slepc/
smtinterpol/
spin/
stp/
sympow/
topcom/
twelf/
unuran/
vampire/
verit/
why3-for-spark/
why3/
wxmaxima/
yacas/
yafu/
z3/