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