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