Index of /pub/Linux/gentoo/sci-mathematics/

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