Index of /sci-mathematics

 Name                        Last modified      Size  Description
 Parent Directory                                 -   
 4ti2/                       2025-12-19 10:16    -   
 abc/                        2023-03-13 22:05    -   
 acl2/                       2025-07-02 01:45    -   
 alectryon/                  2026-04-18 16:40    -   
 alt-ergo/                   2025-09-25 07:40    -   
 arb/                        2025-12-19 10:16    -   
 bertini/                    2026-02-22 16:20    -   
 btor2tools/                 2025-03-20 22:30    -   
 cadabra/                    2026-02-16 19:50    -   
 cadical/                    2026-04-15 20:50    -   
 calc/                       2026-04-13 12:10    -   
 cgal/                       2025-12-19 10:16    -   
 clipper2/                   2025-09-24 02:45    -   
 cliquer/                    2025-08-09 20:15    -   
 coq-mathcomp/               2025-03-16 21:40    -   
 coq-serapi/                 2024-11-19 20:15    -   
 coq-stdlib/                 2026-02-17 22:20    -   
 coq/                        2026-03-31 21:20    -   
 cryptominisat/              2025-11-04 08:55    -   
 cubicle/                    2025-10-08 18:45    -   
 cudd/                       2022-12-18 22:25    -   
 cvc4/                       2025-11-10 09:25    -   
 dataplot/                   2025-12-19 10:16    -   
 dsfmt/                      2025-12-19 10:16    -   
 dunshire/                   2025-03-30 03:30    -   
 easycrypt/                  2026-03-24 16:50    -   
 eclib/                      2026-01-20 13:45    -   
 ent/                        2025-12-19 10:16    -   
 eprover/                    2025-11-22 01:15    -   
 euler/                      2025-12-19 10:16    -   
 fann/                       2025-05-20 20:40    -   
 flint/                      2026-03-05 10:40    -   
 flocq/                      2025-03-24 00:50    -   
 form/                       2026-03-07 16:40    -   
 fricas/                     2026-03-06 12:35    -   
 frobby/                     2023-06-09 16:25    -   
 functions-matlab-colormaps/ 2025-06-20 17:45    -   
 gap/                        2025-11-04 09:55    -   
 gappa/                      2024-01-15 21:55    -   
 gappalib-coq/               2023-04-10 20:25    -   
 genius/                     2024-01-15 16:35    -   
 geogebra-bin/               2025-10-31 05:11    -   
 geomview/                   2025-11-04 10:15    -   
 gfan/                       2026-01-17 17:15    -   
 giac/                       2025-05-29 04:45    -   
 gimps/                      2024-08-31 06:30    -   
 ginac/                      2026-02-21 11:35    -   
 glpk/                       2026-02-17 14:15    -   
 gmm/                        2025-12-19 10:16    -   
 gmp-ecm/                    2025-12-17 15:21    -   
 gp2c/                       2025-08-08 13:50    -   
 gretl/                      2025-12-19 10:16    -   
 gsl-shell/                  2024-07-31 10:40    -   
 highs/                      2026-02-13 13:55    -   
 jags/                       2025-12-19 10:16    -   
 kind2/                      2023-06-03 18:10    -   
 kissat/                     2026-04-15 20:50    -   
 lcalc/                      2026-02-28 16:30    -   
 lean/                       2026-04-18 02:35    -   
 libpoly/                    2024-07-31 10:40    -   
 lpsolve/                    2025-12-19 10:16    -   
 lrcalc/                     2025-12-17 15:21    -   
 manifold/                   2026-01-16 14:50    -   
 mathematica/                2026-02-21 17:35    -   
 mathmod/                    2025-12-15 16:35    -   
 mathomatic/                 2025-12-19 10:16    -   
 maxima/                     2026-03-07 19:25    -   
 metamath-databases/         2023-03-04 17:00    -   
 metamath/                   2022-01-25 18:55    -   
 minisat/                    2025-11-04 08:55    -   
 msieve/                     2025-11-04 10:15    -   
 nauty/                      2025-11-04 09:55    -   
 nestedsums/                 2024-01-12 15:25    -   
 normaliz/                   2025-12-19 10:16    -   
 num-utils/                  2023-06-09 16:25    -   
 octave-epstk/               2021-11-22 03:45    -   
 octave/                     2026-03-09 02:30    -   
 opensmt/                    2025-11-22 01:15    -   
 otter/                      2025-12-19 10:16    -   
 palp/                       2024-08-20 15:45    -   
 pari-data/                  2025-12-19 10:16    -   
 pari/                       2026-01-02 21:00    -   
 petsc/                      2026-03-08 05:05    -   
 picosat/                    2023-01-28 01:05    -   
 planarity/                  2025-06-22 21:25    -   
 plfit/                      2026-01-20 13:45    -   
 polymake/                   2025-12-19 10:16    -   
 primecount/                 2025-12-26 13:20    -   
 primesieve/                 2025-05-11 01:20    -   
 prng/                       2025-12-19 10:16    -   
 prover9/                    2025-02-23 22:55    -   
 proverif/                   2024-05-23 23:20    -   
 psmt2-frontend/             2025-02-15 13:05    -   
 pspp/                       2025-12-19 10:16    -   
 rkward/                     2025-12-19 10:16    -   
 rngstreams/                 2025-12-19 10:16    -   
 rw/                         2025-12-19 10:16    -   
 sha1-polyml/                2024-02-14 10:25    -   
 singular/                   2025-12-19 10:16    -   
 slepc/                      2026-03-08 06:05    -   
 smtinterpol/                2024-10-17 17:05    -   
 spin/                       2024-06-28 12:25    -   
 stp/                        2025-11-04 08:55    -   
 sympow/                     2024-12-22 20:30    -   
 topcom/                     2024-05-16 00:25    -   
 twelf/                      2024-09-10 03:00    -   
 unuran/                     2025-12-19 10:16    -   
 vampire/                    2026-04-15 20:50    -   
 verifpal/                   2023-08-13 20:50    -   
 verit/                      2022-03-10 21:35    -   
 why3-for-spark/             2026-02-20 12:30    -   
 why3/                       2025-10-08 18:45    -   
 wxmaxima/                   2026-01-31 11:15    -   
 yacas/                      2025-01-22 23:40    -   
 yafu/                       2025-09-02 16:00    -   
 yices2/                     2025-11-22 01:15    -   
 z3/                         2026-04-05 08:30    -   
 metadata.xml                2021-09-11 14:50  1.3K