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

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