Index of /gentoo-repo/sci-mathematics/
../
4ti2/ 10-Mar-2025 23:18 -
abc/ 13-Mar-2023 22:26 -
acl2/ 01-Mar-2025 13:38 -
alectryon/ 20-Feb-2025 11:14 -
alt-ergo/ 15-Feb-2025 13:29 -
arb/ 25-Nov-2023 06:12 -
bertini/ 08-Jan-2024 13:20 -
boolector/ 18-Apr-2025 16:25 -
btor2tools/ 20-Mar-2025 23:59 -
cadabra/ 11-Nov-2024 05:19 -
cadical/ 19-Feb-2025 08:20 -
calc/ 30-Aug-2022 22:40 -
cgal/ 10-Mar-2025 23:18 -
clipper2/ 22-May-2025 20:32 -
cliquer/ 22-Nov-2023 22:53 -
coq/ 28-Mar-2025 21:15 -
coq-mathcomp/ 16-Mar-2025 23:53 -
coq-serapi/ 19-Nov-2024 20:20 -
coq-stdlib/ 17-Mar-2025 05:47 -
cryptominisat/ 02-May-2025 16:21 -
cubicle/ 23-May-2025 00:32 -
cudd/ 18-Dec-2022 22:19 -
cvc4/ 19-May-2025 19:21 -
dataplot/ 20-Oct-2022 04:41 -
diagrtb/ 20-Oct-2022 04:41 -
dsfmt/ 07-Oct-2021 10:29 -
dunshire/ 30-Mar-2025 03:52 -
easycrypt/ 30-May-2025 21:30 -
eclib/ 19-Apr-2025 00:26 -
ent/ 09-Jun-2023 15:46 -
eprover/ 19-Feb-2024 22:15 -
euler/ 30-Apr-2024 19:13 -
fann/ 20-May-2025 20:19 -
flint/ 03-Jun-2025 21:24 -
flocq/ 24-Mar-2025 01:38 -
form/ 12-Jan-2024 16:37 -
fricas/ 04-Jun-2025 10:12 -
frobby/ 09-Jun-2023 15:46 -
gap/ 28-Apr-2025 15:35 -
gappa/ 15-Jan-2024 21:48 -
gappalib-coq/ 10-Apr-2023 19:30 -
genius/ 15-Jan-2024 16:43 -
geogebra-bin/ 23-Dec-2024 07:31 -
geomview/ 30-Apr-2024 19:13 -
gfan/ 02-May-2025 03:23 -
giac/ 29-May-2025 04:20 -
gimps/ 31-Aug-2024 07:16 -
ginac/ 16-May-2025 05:19 -
glpk/ 16-Jan-2025 15:25 -
gmm/ 25-Oct-2024 23:12 -
gmp-ecm/ 19-Apr-2025 21:25 -
gp2c/ 06-Dec-2021 22:24 -
gretl/ 30-Apr-2024 19:13 -
gsl-shell/ 31-Jul-2024 10:13 -
jags/ 15-Nov-2024 23:23 -
kind2/ 03-Jun-2023 17:40 -
kissat/ 11-Oct-2023 01:19 -
lcalc/ 28-May-2025 16:18 -
lean/ 19-Feb-2025 08:20 -
libpoly/ 31-Jul-2024 10:13 -
lpsolve/ 30-Apr-2024 19:13 -
lrcalc/ 20-Aug-2024 22:16 -
manifold/ 22-May-2025 17:33 -
mathematica/ 13-Nov-2024 17:37 -
mathmod/ 02-Apr-2025 19:36 -
mathomatic/ 09-Jun-2023 15:46 -
maxima/ 15-May-2025 07:21 -
metamath/ 25-Jan-2022 19:08 -
metamath-databases/ 04-Mar-2023 17:05 -
minisat/ 24-Mar-2025 01:38 -
msieve/ 17-Apr-2025 11:25 -
nauty/ 14-Jul-2024 23:19 -
nestedsums/ 12-Jan-2024 16:37 -
normaliz/ 16-Dec-2023 16:48 -
num-utils/ 09-Jun-2023 15:46 -
octave/ 28-May-2025 09:21 -
octave-epstk/ 22-Nov-2021 03:43 -
opensmt/ 05-May-2025 21:56 -
otter/ 09-Jun-2023 15:46 -
palp/ 20-Aug-2024 15:17 -
pari/ 01-Feb-2025 12:12 -
pari-data/ 19-Aug-2024 13:27 -
petsc/ 01-May-2025 12:28 -
picosat/ 28-Jan-2023 01:28 -
planarity/ 27-Mar-2025 13:20 -
plfit/ 09-Dec-2024 17:20 -
polymake/ 18-Apr-2025 17:22 -
primecount/ 29-Apr-2025 01:44 -
primesieve/ 10-May-2025 13:16 -
prng/ 09-Jun-2023 15:46 -
prover9/ 23-Feb-2025 23:17 -
proverif/ 23-May-2024 23:21 -
psmt2-frontend/ 15-Feb-2025 13:29 -
pspp/ 29-Apr-2025 20:24 -
rkward/ 24-Apr-2025 23:26 -
rngstreams/ 09-Jun-2023 15:46 -
rw/ 21-Sep-2024 04:20 -
sha1-polyml/ 14-Feb-2024 11:11 -
singular/ 02-May-2025 02:15 -
slepc/ 01-May-2025 12:28 -
smtinterpol/ 17-Oct-2024 16:13 -
spin/ 28-Jun-2024 12:21 -
stp/ 22-Nov-2024 22:28 -
sympow/ 22-Dec-2024 21:16 -
topcom/ 15-May-2024 23:24 -
twelf/ 10-Sep-2024 02:12 -
unuran/ 09-Jun-2023 17:35 -
vampire/ 30-Sep-2024 20:26 -
verifpal/ 13-Aug-2023 19:40 -
verit/ 10-Mar-2022 21:35 -
why3/ 17-Apr-2025 11:25 -
why3-for-spark/ 17-Apr-2025 11:25 -
wxmaxima/ 17-May-2025 16:32 -
yacas/ 23-Jan-2025 00:12 -
yafu/ 24-Feb-2025 22:32 -
yices2/ 14-Jan-2023 03:14 -
z3/ 31-May-2025 11:20 -
metadata.xml 11-Sep-2021 14:16 1326