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