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 /mirrors/mirrors/pub/gentoo-portage/sci-mathematics/

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