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