Index of /sci-mathematics
Name Last modified Size Description
Parent Directory -
4ti2/ 2023-06-09 16:25 -
abc/ 2023-03-13 22:05 -
acl2/ 2024-03-08 12:25 -
alectryon/ 2024-04-29 20:20 -
alt-ergo/ 2023-09-22 15:25 -
arb/ 2023-11-25 05:50 -
bertini/ 2024-01-08 13:00 -
boolector/ 2024-04-09 11:10 -
btor2tools/ 2023-11-02 22:35 -
cadabra/ 2024-04-23 00:30 -
cadical/ 2024-03-04 22:20 -
calc/ 2022-08-30 23:35 -
cgal/ 2024-02-20 21:10 -
cliquer/ 2023-11-22 22:50 -
coq-mathcomp/ 2024-03-04 22:20 -
coq-serapi/ 2024-03-04 22:20 -
coq/ 2024-03-04 22:20 -
cryptominisat/ 2024-02-14 20:45 -
cubicle/ 2023-03-08 21:50 -
cudd/ 2022-12-18 22:25 -
cvc4/ 2024-01-19 22:05 -
dataplot/ 2022-10-20 05:25 -
diagrtb/ 2022-10-20 05:25 -
dsfmt/ 2021-10-07 10:50 -
dunshire/ 2024-04-20 20:55 -
easycrypt/ 2024-02-03 13:25 -
eclib/ 2024-02-09 00:40 -
ent/ 2023-06-09 16:25 -
eprover/ 2024-02-19 21:25 -
euler/ 2024-04-30 20:05 -
fann/ 2024-04-30 20:05 -
flint/ 2024-03-11 03:20 -
flocq/ 2023-04-11 15:45 -
form/ 2024-01-12 15:25 -
fricas/ 2024-04-30 20:05 -
frobby/ 2023-06-09 16:25 -
gap/ 2024-05-08 09:00 -
gappa/ 2024-01-15 21:55 -
gappalib-coq/ 2023-04-10 20:25 -
genius/ 2024-01-15 16:35 -
geogebra-bin/ 2024-01-10 13:55 -
geomview/ 2024-04-30 20:05 -
gfan/ 2024-03-22 05:55 -
giac/ 2024-03-04 17:00 -
gimps/ 2024-04-14 17:25 -
ginac/ 2024-04-18 13:20 -
glpk/ 2024-03-05 05:20 -
gmm/ 2023-06-09 16:25 -
gmp-ecm/ 2023-11-24 15:25 -
gp2c/ 2021-12-06 22:30 -
gretl/ 2024-04-30 20:05 -
gsl-shell/ 2023-02-24 10:45 -
jags/ 2024-04-30 20:05 -
kind2/ 2023-06-03 18:10 -
kissat/ 2023-10-11 01:45 -
lcalc/ 2022-07-16 13:50 -
lean/ 2024-01-18 17:55 -
libpoly/ 2023-02-24 09:25 -
lpsolve/ 2024-04-30 20:05 -
lrcalc/ 2023-06-09 16:25 -
mathematica/ 2023-12-26 11:20 -
mathlib-tools/ 2023-02-24 09:05 -
mathmod/ 2024-04-30 20:05 -
mathomatic/ 2023-06-09 16:25 -
maxima/ 2024-04-30 20:05 -
metamath-databases/ 2023-03-04 17:00 -
metamath/ 2022-01-25 18:55 -
minisat/ 2023-02-06 17:40 -
msieve/ 2024-04-30 20:05 -
nauty/ 2024-03-12 02:30 -
nestedsums/ 2024-01-12 15:25 -
normaliz/ 2023-12-16 16:50 -
num-utils/ 2023-06-09 16:25 -
octave-epstk/ 2021-11-22 03:45 -
octave/ 2024-04-16 18:05 -
opensmt/ 2024-02-19 16:00 -
otter/ 2023-06-09 16:25 -
palp/ 2024-03-06 14:10 -
pari-data/ 2023-06-09 16:25 -
pari/ 2024-03-12 18:55 -
petsc/ 2024-04-23 22:10 -
picosat/ 2023-01-28 01:05 -
planarity/ 2023-06-09 16:25 -
plfit/ 2024-03-09 12:30 -
polymake/ 2024-02-10 07:10 -
primecount/ 2023-02-07 20:10 -
primesieve/ 2024-01-12 15:25 -
prng/ 2023-06-09 16:25 -
prover9/ 2024-02-14 17:25 -
proverif/ 2023-12-10 19:40 -
psmt2-frontend/ 2024-03-16 12:35 -
pspp/ 2023-06-09 16:25 -
rkward/ 2023-06-09 00:00 -
rngstreams/ 2023-06-09 16:25 -
rw/ 2023-06-09 16:25 -
sha1-polyml/ 2024-02-14 10:25 -
singular/ 2024-04-02 16:40 -
slepc/ 2024-04-05 05:16 -
smtinterpol/ 2023-03-04 17:00 -
spin/ 2022-12-02 21:35 -
stp/ 2024-04-29 20:20 -
sympow/ 2021-09-11 14:50 -
topcom/ 2024-05-16 00:25 -
twelf/ 2024-02-14 10:25 -
unuran/ 2023-06-09 18:05 -
vampire/ 2023-08-22 16:00 -
verifpal/ 2023-08-13 20:50 -
verit/ 2022-03-10 21:35 -
why3-for-spark/ 2023-12-29 23:05 -
why3/ 2023-07-15 23:40 -
wxmaxima/ 2024-03-15 12:10 -
yacas/ 2023-08-16 21:45 -
yafu/ 2024-04-30 20:05 -
yices2/ 2023-01-14 03:05 -
z3/ 2024-03-23 15:05 -
metadata.xml 2021-09-11 14:50 1.3K
Apache/2.4.59 (Gentoo) mod_fcgid/2.3.9 OpenSSL/3.2.1 mod_perl/2.0.13 Perl/v5.38.2 Server at portage.randomdan.homeip.net Port 11080