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