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

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