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

../
4ti2.txt                                           06-Dec-2025 01:55                 110
acl2.txt                                           06-Dec-2025 01:55                 819
bertini.txt                                        06-Dec-2025 01:55                 726
btor2tools.txt                                     06-Dec-2025 01:55                1060
calc.txt                                           06-Dec-2025 01:55                1806
cgal.txt                                           06-Dec-2025 01:55                1371
cliquer.txt                                        06-Dec-2025 01:55                 216
coq-mathcomp.txt                                   06-Dec-2025 01:55                 269
coq-serapi.txt                                     06-Dec-2025 01:55                1773
coq-stdlib.txt                                     06-Dec-2025 01:55                1066
coq.txt                                            06-Dec-2025 01:55                2748
cubicle.txt                                        06-Dec-2025 01:55                 549
cudd.txt                                           06-Dec-2025 01:55                 877
dataplot.txt                                       06-Dec-2025 01:55                1102
dsfmt.txt                                          06-Dec-2025 01:55                 218
eclib.txt                                          06-Dec-2025 01:55                 302
euler.txt                                          06-Dec-2025 01:55                 705
fann.txt                                           06-Dec-2025 01:55                 515
flint.txt                                          06-Dec-2025 01:55                 210
flocq.txt                                          06-Dec-2025 01:55                 952
form.txt                                           06-Dec-2025 01:55                2198
fricas.txt                                         06-Dec-2025 01:55                1050
frobby.txt                                         06-Dec-2025 01:55                 722
gap.txt                                            06-Dec-2025 01:55                 604
gappa.txt                                          06-Dec-2025 01:55                 631
gappalib-coq.txt                                   06-Dec-2025 01:55                 575
genius.txt                                         06-Dec-2025 01:55                 274
geogebra-bin.txt                                   06-Dec-2025 01:55                 753
geomview.txt                                       06-Dec-2025 01:55                1686
giac.txt                                           06-Dec-2025 01:55                 374
gimps.txt                                          06-Dec-2025 01:55                1265
ginac.txt                                          06-Dec-2025 01:55                 415
glpk.txt                                           06-Dec-2025 01:55                 626
gmm.txt                                            06-Dec-2025 01:55                 662
gp2c.txt                                           06-Dec-2025 01:55                 170
gretl.txt                                          06-Dec-2025 01:55                1519
gsl-shell.txt                                      06-Dec-2025 01:55                1303
kissat.txt                                         06-Dec-2025 01:55                 341
lpsolve.txt                                        06-Dec-2025 01:55                 249
mathematica.txt                                    06-Dec-2025 01:55                4753
maxima.txt                                         06-Dec-2025 01:55                2014
metamath-databases.txt                             06-Dec-2025 01:55                 425
metamath.txt                                       06-Dec-2025 01:55                 530
msieve.txt                                         06-Dec-2025 01:55                 528
nauty.txt                                          06-Dec-2025 01:55                8140
nestedsums.txt                                     06-Dec-2025 01:55                 519
normaliz.txt                                       06-Dec-2025 01:55                 477
num-utils.txt                                      06-Dec-2025 01:55                 488
octave-epstk.txt                                   06-Dec-2025 01:55               15346
octave.txt                                         06-Dec-2025 01:55                1430
opensmt.txt                                        06-Dec-2025 01:55                 730
otter.txt                                          06-Dec-2025 01:55                 550
palp.txt                                           06-Dec-2025 01:55                 171
petsc.txt                                          06-Dec-2025 01:55                1145
picosat.txt                                        06-Dec-2025 01:55                 996
polymake.txt                                       06-Dec-2025 01:55                 438
prng.txt                                           06-Dec-2025 01:55                 528
prover9.txt                                        06-Dec-2025 01:55                 743
psmt2-frontend.txt                                 06-Dec-2025 01:55                 784
pspp.txt                                           06-Dec-2025 01:55                 993
rkward.txt                                         06-Dec-2025 01:55                 115
spin.txt                                           06-Dec-2025 01:55                 360
stp.txt                                            06-Dec-2025 01:55                 800
topcom.txt                                         06-Dec-2025 01:55                 319
twelf.txt                                          06-Dec-2025 01:55                 469
why3-for-spark.txt                                 06-Dec-2025 01:55                1119
why3.txt                                           06-Dec-2025 01:55                1180
wxmaxima.txt                                       06-Dec-2025 01:55                 222