Index of /gentoo-portage/sci-mathematics/

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