Index of /sci-mathematics

 Name                        Last modified      Size  Description
 Parent Directory                                 -   
 4ti2/                       2026-09-28 00:05    -   
 abc/                        2023-03-13 22:05    -   
 acl2/                       2025-07-02 01:45    -   
 alectryon/                  2026-08-29 16:00    -   
 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-08-27 22:05    -   
 cadical/                    2026-04-15 20:50    -   
 calc/                       2026-04-13 12:10    -   
 cgal/                       2026-09-15 17:05    -   
 clipper2/                   2026-09-15 17:05    -   
 cliquer/                    2026-11-07 15:20    -   
 coq-mathcomp/               2025-03-16 21:40    -   
 coq-serapi/                 2024-11-19 20:15    -   
 coq-stdlib/                 2026-11-11 18:10    -   
 coq/                        2026-11-11 18:10    -   
 cryptominisat/              2026-05-06 00:11    -   
 cubicle/                    2025-10-08 18:45    -   
 cudd/                       2026-08-23 10:30    -   
 cvc4/                       2026-05-11 09:20    -   
 dataplot/                   2025-12-19 10:16    -   
 dsfmt/                      2026-08-23 10:30    -   
 dunshire/                   2026-05-12 14:55    -   
 easycrypt/                  2026-07-30 12:46    -   
 eclib/                      2026-11-07 14:20    -   
 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-11-05 00:50    -   
 flocq/                      2025-03-24 00:50    -   
 form/                       2026-11-11 04:10    -   
 fricas/                     2026-10-22 10:20    -   
 frobby/                     2023-06-09 16:25    -   
 functions-matlab-colormaps/ 2025-06-20 17:45    -   
 gap/                        2026-11-05 02:30    -   
 gappa/                      2024-01-15 21:55    -   
 gappalib-coq/               2023-04-10 20:25    -   
 genius/                     2026-05-02 18:05    -   
 geogebra-bin/               2025-10-31 05:11    -   
 geomview/                   2025-11-04 10:15    -   
 gfan/                       2026-06-18 14:30    -   
 giac/                       2025-05-29 04:45    -   
 gimps/                      2024-08-31 06:30    -   
 ginac/                      2026-06-02 08:00    -   
 glpk/                       2026-09-29 01:20    -   
 gmm/                        2025-12-19 10:16    -   
 gmp-ecm/                    2026-11-06 02:00    -   
 gp2c/                       2026-11-06 01:40    -   
 gretl/                      2025-12-19 10:16    -   
 gsl-shell/                  2024-07-31 10:40    -   
 highs/                      2026-07-11 19:45    -   
 jags/                       2025-12-19 10:16    -   
 kind2/                      2023-06-03 18:10    -   
 kissat/                     2026-04-15 20:50    -   
 lcalc/                      2026-11-11 12:50    -   
 lean/                       2026-07-04 15:22    -   
 libpoly/                    2024-07-31 10:40    -   
 lpsolve/                    2026-05-30 11:10    -   
 lrcalc/                     2025-12-17 15:21    -   
 manifold/                   2026-09-15 17:05    -   
 mathematica/                2026-09-10 00:40    -   
 mathmod/                    2026-09-16 01:50    -   
 mathomatic/                 2025-12-19 10:16    -   
 maxima/                     2026-08-20 06:50    -   
 metadata.xml                2021-09-11 14:50  1.3K  
 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/                      2026-08-16 02:40    -   
 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-07-12 09:45    -   
 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-09-27 20:20    -   
 petsc/                      2026-06-07 13:30    -   
 picosat/                    2023-01-28 01:05    -   
 planarity/                  2026-06-25 05:06    -   
 plfit/                      2026-01-20 13:45    -   
 polymake/                   2026-08-20 23:35    -   
 primecount/                 2026-05-10 00:45    -   
 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/                     2026-05-03 16:05    -   
 rngstreams/                 2025-12-19 10:16    -   
 rw/                         2026-08-13 02:00    -   
 sha1-polyml/                2024-02-14 10:25    -   
 singular/                   2026-11-06 21:35    -   
 slepc/                      2026-06-07 13:30    -   
 smtinterpol/                2024-10-17 17:05    -   
 spin/                       2024-06-28 12:25    -   
 stp/                        2026-06-15 08:55    -   
 sympow/                     2024-12-22 20:30    -   
 topcom/                     2024-05-16 00:25    -   
 twelf/                      2024-09-10 03:00    -   
 unuran/                     2026-09-06 12:20    -   
 vampire/                    2026-07-07 13:05    -   
 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-07-02 10:05    -   
 yacas/                      2026-06-16 21:45    -   
 yafu/                       2025-09-02 16:00    -   
 yices2/                     2026-06-30 23:25    -   
 z3/                         2026-11-11 07:50    -