Welcome to mirrors.dotsrc.org

All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.

For information about dotsrc.org and our other services please go to our website.

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

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