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