![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | 4ti2-1.6.2 | 2018-07-16 17:30 | 1.1K | |
![]() | 4ti2-1.6.5 | 2018-07-16 17:30 | 1.1K | |
![]() | 4ti2-1.6.6 | 2018-07-16 17:30 | 1.1K | |
![]() | 4ti2-1.6.7 | 2018-05-27 04:08 | 845 | |
![]() | Macaulay2-1.8.2.1-r1 | 2018-07-16 17:30 | 2.5K | |
![]() | Manifest.gz | 2018-07-21 08:39 | 24K | |
![]() | agda-2.4.2.5-r2 | 2018-07-16 17:30 | 4.7K | |
![]() | agda-2.5.2-r1 | 2018-07-16 17:30 | 5.8K | |
![]() | agda-lib-ffi-0.0.2 | 2018-07-16 17:30 | 1.0K | |
![]() | agda-lib-ffi-0.0.2-r2 | 2018-07-16 17:30 | 1.0K | |
![]() | agda-stdlib-2.4.2.5 | 2018-07-16 17:30 | 1.4K | |
![]() | agda-stdlib-2.5.2.0.13 | 2018-07-16 17:30 | 1.2K | |
![]() | alt-ergo-1.30 | 2018-06-02 19:09 | 592 | |
![]() | arb-2.11.1-r1 | 2018-07-16 17:30 | 942 | |
![]() | axiom-200805 | 2018-07-16 17:30 | 861 | |
![]() | bertini-1.4 | 2018-05-27 01:04 | 501 | |
![]() | calc-2.12.4.13-r1 | 2018-07-16 17:30 | 845 | |
![]() | calc-2.12.5.4 | 2018-05-27 01:04 | 569 | |
![]() | cgal-4.9 | 2018-07-16 17:30 | 1.8K | |
![]() | cgal-4.10 | 2018-07-16 17:30 | 1.8K | |
![]() | cgal-4.11.1 | 2018-07-16 17:30 | 1.8K | |
![]() | coq-8.6 | 2018-07-16 17:30 | 1.2K | |
![]() | coq-8.6.1 | 2018-07-16 17:30 | 1.2K | |
![]() | cvc3-2.4.1-r1 | 2017-09-08 05:09 | 755 | |
![]() | cvc4-1.6 | 2018-07-18 02:39 | 498 | |
![]() | dataplot-20090821 | 2018-07-16 17:30 | 1.4K | |
![]() | dataplot-20131220 | 2018-07-16 17:30 | 1.4K | |
![]() | diagrtb-2.64 | 2018-07-16 17:30 | 1.2K | |
![]() | drgeo-1.1.0-r1 | 2018-07-16 17:30 | 921 | |
![]() | dunshire-0.1.1 | 2018-07-20 17:42 | 2.2K | |
![]() | e-1.5 | 2017-02-28 15:31 | 507 | |
![]() | e-1.6 | 2017-02-28 15:31 | 507 | |
![]() | e-1.8-r1 | 2017-02-28 15:31 | 507 | |
![]() | ent-101202 | 2018-07-16 17:30 | 696 | |
![]() | euler-1.61.0 | 2018-07-16 17:30 | 1.1K | |
![]() | factmsieve-76-r1 | 2018-07-08 10:16 | 1.0K | |
![]() | fann-2.2.0-r1 | 2018-07-16 17:30 | 1.3K | |
![]() | fann-9999 | 2018-07-16 17:30 | 1.3K | |
![]() | flint-2.4.4-r1 | 2018-07-16 17:30 | 1.0K | |
![]() | flint-2.4.5 | 2018-07-16 17:30 | 1.0K | |
![]() | flint-2.5.2 | 2018-07-16 17:30 | 1.0K | |
![]() | form-4.1 | 2018-05-27 01:04 | 963 | |
![]() | form-4.2.0 | 2018-05-27 01:04 | 1.0K | |
![]() | fricas-1.3.2 | 2018-05-27 01:04 | 1.1K | |
![]() | fricas-1.3.3 | 2018-05-27 01:04 | 1.1K | |
![]() | fricas-1.3.4 | 2018-06-28 06:39 | 1.1K | |
![]() | frobby-0.9.0-r2 | 2018-05-27 01:04 | 523 | |
![]() | genius-1.0.21 | 2018-07-16 17:30 | 1.8K | |
![]() | geogebra-5.0.339.0_p20170308-r1 | 2018-07-16 17:30 | 22K | |
![]() | geomview-1.9.5-r1 | 2018-07-16 17:30 | 1.1K | |
![]() | gfan-0.5-r1 | 2018-07-16 17:30 | 824 | |
![]() | ggnfs-0.77.1-r2 | 2018-07-16 17:30 | 1.0K | |
![]() | gimps-28.10-r1 | 2018-06-13 05:02 | 625 | |
![]() | gimps-29.4.7 | 2018-06-13 05:02 | 734 | |
![]() | gimps-29.4.8 | 2018-06-13 05:02 | 670 | |
![]() | ginac-1.6.6 | 2018-07-16 17:30 | 1.0K | |
![]() | ginac-1.7.2 | 2018-07-16 17:30 | 1.1K | |
![]() | ginac-1.7.4 | 2018-07-16 17:30 | 685 | |
![]() | glpk-4.63 | 2018-07-16 17:30 | 1.4K | |
![]() | gmm-5.1 | 2018-07-16 17:30 | 836 | |
![]() | gmp-ecm-6.4.3-r5 | 2018-07-16 17:30 | 1.0K | |
![]() | gmp-ecm-6.4.4-r1 | 2018-07-16 17:30 | 1.3K | |
![]() | gmp-ecm-9999 | 2018-07-16 17:30 | 1.4K | |
![]() | gretl-1.9.14 | 2018-07-16 17:30 | 1.7K | |
![]() | gretl-1.9.90 | 2018-07-16 17:30 | 1.9K | |
![]() | gsl-shell-2.3.0_beta1 | 2018-05-27 01:04 | 697 | |
![]() | gwnum-277 | 2018-07-16 17:30 | 692 | |
![]() | isabelle-2016.1 | 2018-07-16 17:30 | 2.9K | |
![]() | jags-3.4.0 | 2018-07-16 17:30 | 1.0K | |
![]() | jags-4.0.0 | 2018-07-16 17:30 | 1.1K | |
![]() | jags-4.1.0 | 2018-07-16 17:30 | 896 | |
![]() | jags-4.2.0 | 2018-07-16 17:30 | 894 | |
![]() | kodkod-1.5.2-r1 | 2018-07-16 17:30 | 1.4K | |
![]() | kodkodi-1.5.2-r1 | 2018-07-16 17:30 | 1.3K | |
![]() | lpsolve-5.5.2.0 | 2018-05-27 04:08 | 419 | |
![]() | lybniz-1.3.2-r1 | 2018-07-20 17:42 | 1.2K | |
![]() | mathmod-4.1-r1 | 2018-07-16 17:30 | 1.0K | |
![]() | mathomatic-15.8.5 | 2018-07-16 17:30 | 859 | |
![]() | mathomatic-16.0.5 | 2018-07-16 17:30 | 917 | |
![]() | maxima-5.38.1 | 2018-07-16 17:30 | 2.3K | |
![]() | maxima-5.41.0 | 2018-07-16 17:30 | 2.3K | |
![]() | maxima-5.41.0-r1 | 2018-07-16 17:30 | 2.5K | |
![]() | minisat-2.2.0-r4 | 2018-05-27 01:04 | 542 | |
![]() | minisat-2.2.0_p20130925 | 2018-05-27 01:04 | 656 | |
![]() | mlpy-3.5.0 | 2018-07-20 17:42 | 1.8K | |
![]() | msieve-1.51 | 2018-07-16 17:30 | 944 | |
![]() | msieve-9999 | 2018-07-16 17:30 | 1.0K | |
![]() | nauty-2.5.9 | 2018-04-23 14:29 | 385 | |
![]() | nauty-2.6.7 | 2018-05-27 01:04 | 1.0K | |
![]() | nestedsums-1.5.1 | 2018-07-16 17:30 | 922 | |
![]() | normaliz-2.12.2 | 2018-07-16 17:30 | 879 | |
![]() | normaliz-3.1.1 | 2018-07-16 17:30 | 885 | |
![]() | normaliz-3.1.3 | 2018-05-27 01:04 | 646 | |
![]() | normaliz-3.3.0 | 2018-07-16 17:30 | 1.1K | |
![]() | num-utils-0.3 | 2018-05-01 15:09 | 365 | |
![]() | num-utils-0.5-r1 | 2018-07-16 17:30 | 801 | |
![]() | nusmv-2.6.0 | 2018-07-16 17:30 | 1.5K | |
![]() | octave-4.2.2 | 2018-07-21 08:39 | 4.2K | |
![]() | octave-4.4.0 | 2018-07-21 08:39 | 4.4K | |
![]() | octave-epstk-2.4 | 2018-07-16 17:30 | 822 | |
![]() | otter-3.3-r3 | 2018-05-27 01:04 | 517 | |
![]() | p9m4-05-r1 | 2018-07-20 17:42 | 2.0K | |
![]() | pari-2.9.4-r1 | 2018-07-16 17:30 | 1.2K | |
![]() | pari-data-20120726 | 2017-02-28 15:31 | 782 | |
![]() | polymake-3.0_p2 | 2018-07-16 17:30 | 1.5K | |
![]() | prng-3.0.2-r2 | 2018-05-27 01:04 | 711 | |
![]() | prover9-2009.11a | 2018-07-16 17:30 | 845 | |
![]() | pspp-0.10.1 | 2018-07-16 17:30 | 1.5K | |
![]() | pspp-0.10.2 | 2018-07-16 17:30 | 1.5K | |
![]() | pymc-2.3.6 | 2018-07-20 17:42 | 3.7K | |
![]() | pymc3-3.1 | 2018-07-20 17:42 | 11K | |
![]() | reduce-20110414-r1 | 2018-05-27 01:04 | 791 | |
![]() | relational-2.5 | 2018-07-08 10:16 | 2.8K | |
![]() | rkward-0.7.0 | 2018-07-16 17:30 | 3.2K | |
![]() | rngstreams-1.0.1 | 2018-07-16 17:30 | 961 | |
![]() | rstudio-1.1.383-r1 | 2018-07-16 17:30 | 3.8K | |
![]() | rstudio-1.1.453 | 2018-07-16 17:30 | 3.9K | |
![]() | rw-0.7-r2 | 2017-02-28 15:31 | 529 | |
![]() | sha1-polyml-5.5.0 | 2018-05-27 01:04 | 410 | |
![]() | sha1-polyml-5.6_p1 | 2018-05-27 01:04 | 402 | |
![]() | singular-3.1.6 | 2018-07-16 17:30 | 2.6K | |
![]() | singular-4.0.2 | 2018-07-16 17:30 | 1.7K | |
![]() | singular-4.0.3 | 2018-07-16 17:30 | 1.7K | |
![]() | snns-4.3-r2 | 2018-07-20 17:42 | 1.5K | |
![]() | snns-4.3-r3 | 2018-07-20 17:42 | 1.3K | |
![]() | spass-3.7 | 2018-04-23 14:29 | 562 | |
![]() | spass-3.9 | 2018-04-23 14:29 | 532 | |
![]() | spin-6.4.5 | 2018-07-16 17:30 | 851 | |
![]() | topcom-0.17.7 | 2018-07-16 17:30 | 1.0K | |
![]() | twelf-1.7.1 | 2018-07-16 17:30 | 963 | |
![]() | twelf-1.7.1-r1 | 2018-07-16 17:30 | 1.0K | |
![]() | unuran-1.8.1 | 2018-07-16 17:30 | 1.1K | |
![]() | why3-for-spark-2017 | 2018-05-27 01:04 | 1.4K | |
![]() | why3-for-spark-2018 | 2018-07-13 03:09 | 1.4K | |
![]() | wxmaxima-15.08.2 | 2018-07-16 17:30 | 1.1K | |
![]() | wxmaxima-16.04.2 | 2018-07-16 17:30 | 1.1K | |
![]() | wxmaxima-16.12.0 | 2018-07-16 17:30 | 1.1K | |
![]() | wxmaxima-16.12.2 | 2018-07-16 17:30 | 1.1K | |
![]() | wxmaxima-17.10.1 | 2018-07-16 17:30 | 1.4K | |
![]() | wxmaxima-18.02.0 | 2018-07-16 17:30 | 1.4K | |
![]() | xmds-2.2.2 | 2018-07-20 17:42 | 1.6K | |
![]() | yacas-1.6.1-r1 | 2018-07-16 17:30 | 2.0K | |
![]() | yafu-1.34.3 | 2018-07-16 17:30 | 940 | |
![]() | yafu-9999 | 2018-07-16 17:30 | 1.0K | |
![]() | z3-4.4.1 | 2018-07-16 17:30 | 1.6K | |
![]() | z3-4.5.0 | 2018-07-16 17:30 | 1.6K | |