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

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