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