Index of /sci-mathematics

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