Index of /results/gentoo/listings/sort-by-package/sci-mathematics/

../
4ti2.txt                                           23-Nov-2024 02:13                 677
bertini.txt                                        23-Nov-2024 02:13                 560
cadical.txt                                        23-Nov-2024 02:13                 487
calc.txt                                           23-Nov-2024 02:13                1524
coq-serapi.txt                                     23-Nov-2024 02:13                1773
coq.txt                                            23-Nov-2024 02:13                2099
cubicle.txt                                        23-Nov-2024 02:13                 364
cudd.txt                                           23-Nov-2024 02:13                 768
dataplot.txt                                       23-Nov-2024 02:13                 946
dsfmt.txt                                          23-Nov-2024 02:13                 218
eclib.txt                                          23-Nov-2024 02:13                 138
euler.txt                                          23-Nov-2024 02:13                 876
fann.txt                                           23-Nov-2024 02:13                1477
flint.txt                                          23-Nov-2024 02:13                 525
flocq.txt                                          23-Nov-2024 02:13                1183
form.txt                                           23-Nov-2024 02:13                 661
fricas.txt                                         23-Nov-2024 02:13                 904
frobby.txt                                         23-Nov-2024 02:13                 722
gap.txt                                            23-Nov-2024 02:13                 552
gappa.txt                                          23-Nov-2024 02:13                 375
gappalib-coq.txt                                   23-Nov-2024 02:13                 319
genius.txt                                         23-Nov-2024 02:13                 274
geogebra-bin.txt                                   23-Nov-2024 02:13                 698
geomview.txt                                       23-Nov-2024 02:13                1659
giac.txt                                           23-Nov-2024 02:13                 433
gimps.txt                                          23-Nov-2024 02:13                1265
ginac.txt                                          23-Nov-2024 02:13                 592
glpk.txt                                           23-Nov-2024 02:13                 188
gmm.txt                                            23-Nov-2024 02:13                1177
gretl.txt                                          23-Nov-2024 02:13                1861
gsl-shell.txt                                      23-Nov-2024 02:13                1214
kissat.txt                                         23-Nov-2024 02:13                 477
lean.txt                                           23-Nov-2024 02:13                 895
lpsolve.txt                                        23-Nov-2024 02:13                 461
mathematica.txt                                    23-Nov-2024 02:13                4307
maxima.txt                                         23-Nov-2024 02:13                1964
metamath-databases.txt                             23-Nov-2024 02:13                 425
metamath.txt                                       23-Nov-2024 02:13                 530
msieve.txt                                         23-Nov-2024 02:13                1171
nauty.txt                                          23-Nov-2024 02:13                7944
nestedsums.txt                                     23-Nov-2024 02:13                 519
normaliz.txt                                       23-Nov-2024 02:13                 398
num-utils.txt                                      23-Nov-2024 02:13                 488
octave-epstk.txt                                   23-Nov-2024 02:13               15346
octave.txt                                         23-Nov-2024 02:13                1384
opensmt.txt                                        23-Nov-2024 02:13                 570
otter.txt                                          23-Nov-2024 02:13                 702
palp.txt                                           23-Nov-2024 02:13                 336
pari-data.txt                                      23-Nov-2024 02:13                 120
petsc.txt                                          23-Nov-2024 02:13                1725
picosat.txt                                        23-Nov-2024 02:13                 996
polymake.txt                                       23-Nov-2024 02:13                 979
primesieve.txt                                     23-Nov-2024 02:13                 353
prng.txt                                           23-Nov-2024 02:13                 528
prover9.txt                                        23-Nov-2024 02:13                1074
psmt2-frontend.txt                                 23-Nov-2024 02:13                 784
pspp.txt                                           23-Nov-2024 02:13                 725
rkward.txt                                         23-Nov-2024 02:13                 238
slepc.txt                                          23-Nov-2024 02:13                 661
spin.txt                                           23-Nov-2024 02:13                 360
stp.txt                                            23-Nov-2024 02:13                 442
sympow.txt                                         23-Nov-2024 02:13                 216
topcom.txt                                         23-Nov-2024 02:13                 434
twelf.txt                                          23-Nov-2024 02:13                 469
why3-for-spark.txt                                 23-Nov-2024 02:13                 102
why3.txt                                           23-Nov-2024 02:13                 602
wxmaxima.txt                                       23-Nov-2024 02:13                 222
yafu.txt                                           23-Nov-2024 02:13                1594