Index of /sci-mathematics

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