Index of /gentoo-repo/sci-mathematics/
../
4ti2/ 09-Jun-2023 15:46 -
abc/ 13-Mar-2023 22:26 -
acl2/ 08-Mar-2024 13:25 -
alectryon/ 29-Apr-2024 20:11 -
alt-ergo/ 17-Jul-2024 17:19 -
arb/ 25-Nov-2023 06:12 -
bertini/ 08-Jan-2024 13:20 -
boolector/ 30-Sep-2024 20:26 -
btor2tools/ 02-Nov-2023 22:48 -
cadabra/ 11-Nov-2024 05:19 -
cadical/ 27-Jun-2024 23:08 -
calc/ 30-Aug-2022 22:40 -
cgal/ 15-Oct-2024 20:05 -
clipper2/ 16-Nov-2024 22:24 -
cliquer/ 22-Nov-2023 22:53 -
coq/ 30-Sep-2024 20:26 -
coq-mathcomp/ 04-Mar-2024 22:15 -
coq-serapi/ 09-Sep-2024 01:20 -
cryptominisat/ 13-Jun-2024 00:22 -
cubicle/ 04-Jun-2024 19:18 -
cudd/ 18-Dec-2022 22:19 -
cvc4/ 17-Oct-2024 16:13 -
dataplot/ 20-Oct-2022 04:41 -
diagrtb/ 20-Oct-2022 04:41 -
dsfmt/ 07-Oct-2021 10:29 -
dunshire/ 10-Sep-2024 04:22 -
easycrypt/ 06-Oct-2024 21:21 -
eclib/ 15-Nov-2024 00:28 -
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/ 14-Oct-2024 13:16 -
flocq/ 11-Apr-2023 15:32 -
form/ 12-Jan-2024 16:37 -
fricas/ 23-Sep-2024 07:24 -
frobby/ 09-Jun-2023 15:46 -
gap/ 09-Oct-2024 14:17 -
gappa/ 15-Jan-2024 21:48 -
gappalib-coq/ 10-Apr-2023 19:30 -
genius/ 15-Jan-2024 16:43 -
geogebra-bin/ 10-Jan-2024 14:01 -
geomview/ 30-Apr-2024 19:13 -
gfan/ 05-Oct-2024 20:13 -
giac/ 10-Sep-2024 14:16 -
gimps/ 31-Aug-2024 07:16 -
ginac/ 29-May-2024 12:26 -
glpk/ 24-Oct-2024 16:17 -
gmm/ 25-Oct-2024 23:12 -
gmp-ecm/ 24-Nov-2023 15:48 -
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/ 27-Aug-2024 01:16 -
lean/ 19-Sep-2024 23:27 -
libpoly/ 31-Jul-2024 10:13 -
lpsolve/ 30-Apr-2024 19:13 -
lrcalc/ 20-Aug-2024 22:16 -
manifold/ 16-Nov-2024 22:24 -
mathematica/ 13-Nov-2024 17:37 -
mathlib-tools/ 31-Jul-2024 10:13 -
mathmod/ 26-Aug-2024 00:24 -
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/ 06-Feb-2023 17:53 -
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/ 29-Aug-2024 23:17 -
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/ 19-Aug-2024 13:27 -
pari-data/ 19-Aug-2024 13:27 -
petsc/ 23-Jul-2024 04:19 -
picosat/ 28-Jan-2023 01:28 -
planarity/ 23-Aug-2024 16:26 -
plfit/ 09-Mar-2024 13:14 -
polymake/ 27-Oct-2024 04:29 -
primecount/ 20-Aug-2024 15:17 -
primesieve/ 20-Aug-2024 15:17 -
prng/ 09-Jun-2023 15:46 -
prover9/ 14-Feb-2024 18:17 -
proverif/ 23-May-2024 23:21 -
psmt2-frontend/ 16-Mar-2024 13:14 -
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/ 05-Oct-2024 04:14 -
slepc/ 04-Jul-2024 04:24 -
smtinterpol/ 17-Oct-2024 16:13 -
spin/ 28-Jun-2024 12:21 -
stp/ 29-Jun-2024 00:26 -
sympow/ 04-Nov-2024 04:28 -
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/ 15-Jul-2023 22:43 -
why3-for-spark/ 29-Dec-2023 23:10 -
wxmaxima/ 02-Nov-2024 09:16 -
yacas/ 16-Aug-2023 20:51 -
yafu/ 30-Apr-2024 19:13 -
yices2/ 14-Jan-2023 03:14 -
z3/ 19-Oct-2024 11:08 -
metadata.xml 11-Sep-2021 14:16 1326