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

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