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

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