Index of /sci-mathematics

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