Index of /gentoo-portage/sci-mathematics/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
4ti2/-2026-Feb-23 14:18
abc/-2026-Feb-23 14:18
acl2/-2026-Feb-23 14:18
alectryon/-2026-Feb-23 14:18
alt-ergo/-2026-Feb-23 14:18
arb/-2026-Feb-23 14:18
bertini/-2026-Feb-23 14:18
btor2tools/-2026-Feb-23 14:18
cadabra/-2026-Feb-23 14:18
cadical/-2026-Feb-23 14:18
calc/-2026-Feb-23 14:18
cgal/-2026-Feb-23 14:18
clipper2/-2026-Feb-23 14:18
cliquer/-2026-Feb-23 14:18
coq/-2026-Feb-23 14:18
coq-mathcomp/-2026-Feb-23 14:18
coq-serapi/-2026-Feb-23 14:18
coq-stdlib/-2026-Feb-23 14:18
cryptominisat/-2026-Feb-23 14:18
cubicle/-2026-Feb-23 14:18
cudd/-2026-Feb-23 14:18
cvc4/-2026-Feb-23 14:18
dataplot/-2026-Feb-23 14:18
dsfmt/-2026-Feb-23 14:18
dunshire/-2026-Feb-23 14:18
easycrypt/-2026-Feb-23 14:18
eclib/-2026-Feb-23 14:18
ent/-2026-Feb-23 14:18
eprover/-2026-Feb-23 14:18
euler/-2026-Feb-23 14:18
fann/-2026-Feb-23 14:18
flint/-2026-Feb-23 14:18
flocq/-2026-Feb-23 14:18
form/-2026-Feb-23 14:18
fricas/-2026-Feb-23 14:18
frobby/-2026-Feb-23 14:18
functions-matlab-colormaps/-2026-Feb-23 14:18
gap/-2026-Feb-23 14:18
gappa/-2026-Feb-23 14:18
gappalib-coq/-2026-Feb-23 14:18
genius/-2026-Feb-23 14:18
geogebra-bin/-2026-Feb-23 14:18
geomview/-2026-Feb-23 14:18
gfan/-2026-Feb-23 14:18
giac/-2026-Feb-23 14:18
gimps/-2026-Feb-23 14:18
ginac/-2026-Feb-23 14:18
glpk/-2026-Feb-23 14:18
gmm/-2026-Feb-23 14:18
gmp-ecm/-2026-Feb-23 14:18
gp2c/-2026-Feb-23 14:18
gretl/-2026-Feb-23 14:18
gsl-shell/-2026-Feb-23 14:18
highs/-2026-Feb-23 14:18
jags/-2026-Feb-23 14:18
kind2/-2026-Feb-23 14:18
kissat/-2026-Feb-23 14:18
lcalc/-2026-Feb-23 14:18
lean/-2026-Feb-23 14:18
libpoly/-2026-Feb-23 14:18
lpsolve/-2026-Feb-23 14:18
lrcalc/-2026-Feb-23 14:18
manifold/-2026-Feb-23 14:18
mathematica/-2026-Feb-23 14:18
mathmod/-2026-Feb-23 14:18
mathomatic/-2026-Feb-23 14:18
maxima/-2026-Feb-23 14:18
metamath/-2026-Feb-23 14:18
metamath-databases/-2026-Feb-23 14:18
minisat/-2026-Feb-23 14:18
msieve/-2026-Feb-23 14:18
nauty/-2026-Feb-23 14:18
nestedsums/-2026-Feb-23 14:18
normaliz/-2026-Feb-23 14:18
num-utils/-2026-Feb-23 14:18
octave/-2026-Feb-23 14:18
octave-epstk/-2026-Feb-23 14:18
opensmt/-2026-Feb-23 14:18
otter/-2026-Feb-23 14:18
palp/-2026-Feb-23 14:18
pari/-2026-Feb-23 14:18
pari-data/-2026-Feb-23 14:18
petsc/-2026-Feb-23 14:18
picosat/-2026-Feb-23 14:18
planarity/-2026-Feb-23 14:18
plfit/-2026-Feb-23 14:18
polymake/-2026-Feb-23 14:18
primecount/-2026-Feb-23 14:18
primesieve/-2026-Feb-23 14:18
prng/-2026-Feb-23 14:18
prover9/-2026-Feb-23 14:18
proverif/-2026-Feb-23 14:18
psmt2-frontend/-2026-Feb-23 14:18
pspp/-2026-Feb-23 14:18
rkward/-2026-Feb-23 14:18
rngstreams/-2026-Feb-23 14:18
rw/-2026-Feb-23 14:18
sha1-polyml/-2026-Feb-23 14:18
singular/-2026-Feb-23 14:18
slepc/-2026-Feb-23 14:18
smtinterpol/-2026-Feb-23 14:18
spin/-2026-Feb-23 14:18
stp/-2026-Feb-23 14:18
sympow/-2026-Feb-23 14:18
topcom/-2026-Feb-23 14:18
twelf/-2026-Feb-23 14:18
unuran/-2026-Feb-23 14:18
vampire/-2026-Feb-23 14:18
verifpal/-2026-Feb-23 14:18
verit/-2026-Feb-23 14:18
why3/-2026-Feb-23 14:18
why3-for-spark/-2026-Feb-23 14:18
wxmaxima/-2026-Feb-23 14:18
yacas/-2026-Feb-23 14:18
yafu/-2026-Feb-23 14:18
yices2/-2026-Feb-23 14:18
z3/-2026-Feb-23 14:18
Manifest.gz19.2 KiB2026-Feb-22 18:11
metadata.xml1.3 KiB2021-Sep-11 15:40