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