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 /mirrors/gentoo-portage/sci-mathematics/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
4ti2/-2023-02-07 17:10:16
acl2/-2023-02-07 17:10:16
alectryon/-2023-02-07 17:10:16
alt-ergo/-2023-02-07 17:10:16
arb/-2023-02-07 17:10:16
bertini/-2023-02-07 17:10:16
boolector/-2023-02-07 17:10:16
btor2tools/-2023-02-07 17:10:16
cadabra/-2023-02-07 17:10:16
cadical/-2023-02-07 17:10:16
calc/-2023-02-07 17:10:16
cgal/-2023-02-07 17:10:16
cliquer/-2023-02-07 17:10:16
coq/-2023-02-07 17:10:16
coq-mathcomp/-2023-02-07 17:10:16
coq-serapi/-2023-02-07 17:10:16
cryptominisat/-2023-02-07 17:10:16
cubicle/-2023-02-07 17:10:16
cudd/-2023-02-07 17:10:16
cvc4/-2023-02-07 17:10:16
dataplot/-2023-02-07 17:10:16
diagrtb/-2023-02-07 17:10:16
dsfmt/-2023-02-07 17:10:16
dunshire/-2023-02-07 17:10:16
easycrypt/-2023-02-07 17:10:16
eclib/-2023-02-07 17:10:16
ent/-2023-02-07 17:10:16
eprover/-2023-02-07 17:10:16
euler/-2023-02-07 17:10:16
fann/-2023-02-07 17:10:16
flint/-2023-02-07 17:10:16
flintqs/-2023-02-07 17:10:16
flocq/-2023-02-07 17:10:16
form/-2023-02-07 17:10:16
fricas/-2023-02-07 17:10:16
frobby/-2023-02-07 17:10:16
gappa/-2023-02-07 17:10:16
gappalib-coq/-2023-02-07 17:10:16
genius/-2023-02-07 17:10:16
geogebra-bin/-2023-02-07 17:10:16
geomview/-2023-02-07 17:10:16
gfan/-2023-02-07 17:10:16
giac/-2023-02-07 17:10:16
gimps/-2023-02-07 17:10:16
ginac/-2023-02-07 17:10:16
glpk/-2023-02-07 17:10:16
gmm/-2023-02-07 17:10:16
gmp-ecm/-2023-02-07 17:10:16
gp2c/-2023-02-07 17:10:16
gretl/-2023-02-07 17:10:16
gsl-shell/-2023-02-07 17:10:16
jags/-2023-02-07 17:10:16
kissat/-2023-02-07 17:10:16
lcalc/-2023-02-07 17:10:16
lean/-2023-02-07 17:10:16
libpoly/-2023-02-07 17:10:16
lpsolve/-2023-02-07 17:10:16
lrcalc/-2023-02-07 17:10:16
mathematica/-2023-02-07 17:10:16
mathlib-tools/-2023-02-07 17:10:16
mathmod/-2023-02-07 17:10:16
mathomatic/-2023-02-07 17:10:16
maxima/-2023-02-07 17:10:16
metamath/-2023-02-07 17:10:16
metamath-databases/-2023-02-07 17:10:16
minisat/-2023-02-07 17:10:16
msieve/-2023-02-07 17:10:16
nauty/-2023-02-07 17:10:16
nestedsums/-2023-02-07 17:10:16
normaliz/-2023-02-07 17:10:16
num-utils/-2023-02-07 17:10:16
octave/-2023-02-07 17:10:16
octave-epstk/-2023-02-07 17:10:16
opensmt/-2023-02-07 17:10:16
otter/-2023-02-07 17:10:16
pari/-2023-02-07 17:10:16
pari-data/-2023-02-07 17:10:16
petsc/-2023-02-07 17:10:16
picosat/-2023-02-07 17:10:16
planarity/-2023-02-07 17:10:16
polymake/-2023-02-07 17:10:16
primecount/-2023-02-07 17:10:16
primesieve/-2023-02-07 17:10:16
prng/-2023-02-07 17:10:16
prover9/-2023-02-07 17:10:16
psmt2-frontend/-2023-02-07 17:10:16
pspp/-2023-02-07 17:10:16
rkward/-2023-02-07 17:10:16
rngstreams/-2023-02-07 17:10:16
rw/-2023-02-07 17:10:16
sha1-polyml/-2023-02-07 17:10:16
singular/-2023-02-07 17:10:16
slepc/-2023-02-07 17:10:16
smtinterpol/-2023-02-07 17:10:16
spin/-2023-02-07 17:10:16
stp/-2023-02-07 17:10:16
sympow/-2023-02-07 17:10:16
topcom/-2023-02-07 17:10:16
twelf/-2023-02-07 17:10:16
unuran/-2023-02-07 17:10:16
vampire/-2023-02-07 17:10:16
verit/-2023-02-07 17:10:16
why3/-2023-02-07 17:10:16
why3-for-spark/-2023-02-07 17:10:16
wxmaxima/-2023-02-07 17:10:16
yacas/-2023-02-07 17:10:16
yafu/-2023-02-07 17:10:16
yices2/-2023-02-07 17:10:16
z3/-2023-02-07 17:10:16
Manifest.gz17.9 KiB2023-02-06 17:40:15
metadata.xml1.3 KiB2021-09-11 13:40:17