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

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