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