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/ 30-Sep-2024 20:26 -
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/ 03-Jan-2025 23:22 -
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/ 13-Jun-2024 00:22 -
cubicle/ 04-Jun-2024 19:18 -
cudd/ 18-Dec-2022 22:19 -
cvc4/ 28-Mar-2025 20:14 -
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/ 16-Feb-2025 23:19 -
eclib/ 31-Jan-2025 22:18 -
ent/ 09-Jun-2023 15:46 -
eprover/ 19-Feb-2024 22:15 -
euler/ 30-Apr-2024 19:13 -
fann/ 30-Apr-2024 19:13 -
flint/ 19-Dec-2024 01:18 -
flocq/ 24-Mar-2025 01:38 -
form/ 12-Jan-2024 16:37 -
fricas/ 23-Sep-2024 07:24 -
frobby/ 09-Jun-2023 15:46 -
gap/ 01-Apr-2025 20:13 -
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/ 14-Jan-2025 22:28 -
giac/ 16-Jan-2025 15:25 -
gimps/ 31-Aug-2024 07:16 -
ginac/ 29-May-2024 12:26 -
glpk/ 16-Jan-2025 15:25 -
gmm/ 25-Oct-2024 23:12 -
gmp-ecm/ 14-Jan-2025 19:27 -
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/ 10-Jan-2025 16:28 -
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/ 12-Feb-2025 20:18 -
mathematica/ 13-Nov-2024 17:37 -
mathmod/ 02-Apr-2025 19:36 -
mathomatic/ 09-Jun-2023 15:46 -
maxima/ 01-Sep-2024 22:11 -
metamath/ 25-Jan-2022 19:08 -
metamath-databases/ 04-Mar-2023 17:05 -
minisat/ 24-Mar-2025 01:38 -
msieve/ 30-Apr-2024 19:13 -
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/ 25-Jan-2025 14:11 -
octave-epstk/ 22-Nov-2021 03:43 -
opensmt/ 19-Feb-2024 16:18 -
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/ 12-Dec-2024 06:22 -
picosat/ 28-Jan-2023 01:28 -
planarity/ 27-Mar-2025 13:20 -
plfit/ 09-Dec-2024 17:20 -
polymake/ 23-Nov-2024 15:12 -
primecount/ 20-Aug-2024 15:17 -
primesieve/ 06-Jan-2025 08:13 -
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/ 31-Jul-2024 10:13 -
rkward/ 05-Sep-2024 17:33 -
rngstreams/ 09-Jun-2023 15:46 -
rw/ 21-Sep-2024 04:20 -
sha1-polyml/ 14-Feb-2024 11:11 -
singular/ 14-Jan-2025 22:28 -
slepc/ 12-Dec-2024 06:22 -
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/ 16-Feb-2025 23:19 -
why3-for-spark/ 28-Mar-2025 23:17 -
wxmaxima/ 30-Jan-2025 07:20 -
yacas/ 23-Jan-2025 00:12 -
yafu/ 24-Feb-2025 22:32 -
yices2/ 14-Jan-2023 03:14 -
z3/ 29-Mar-2025 11:15 -
metadata.xml 11-Sep-2021 14:16 1326