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