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