Index of /funtoo/metadata/md5-cache/sci-mathematics
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
z3-4.5.0 31-May-2017 02:25 1.6K
z3-4.4.1 31-May-2017 02:25 1.5K
yafu-9999 26-Mar-2017 03:24 944
yafu-1.34.3 26-Mar-2017 03:24 852
yacas-1.6.1-r1 26-Mar-2017 03:24 1.8K
![[TXT]](/icons/text.gif)
xmds-2.2.2 31-May-2017 02:25 1.6K
wxmaxima-16.12.2 26-Apr-2017 02:28 1.0K
wxmaxima-16.12.0 26-Apr-2017 02:28 1.0K
wxmaxima-16.04.2 26-Apr-2017 02:28 1.0K
wxmaxima-15.08.2 26-Apr-2017 02:28 1.0K
unuran-1.8.1 26-Mar-2017 03:24 1.0K
twelf-1.7.1 26-Mar-2017 03:24 875
topcom-0.17.7 26-Mar-2017 03:24 885
spin-6.4.5 26-Mar-2017 03:24 763
spin-6.2.5 26-Mar-2017 03:24 799
spin-6.2.3 26-Mar-2017 03:24 799
spin-6.2.1 26-Mar-2017 03:24 791
spass-3.9 26-Mar-2017 03:24 787
spass-3.7 26-Mar-2017 03:24 817
snns-4.3-r2 31-May-2017 02:25 1.4K
singular-4.0.3 26-Mar-2017 03:24 1.5K
singular-4.0.2 26-Mar-2017 03:24 1.5K
singular-3.1.6 31-May-2017 02:25 2.4K
sha1-polyml-5.6_p1 02-Mar-2017 02:28 402
sha1-polyml-5.5.0 02-Mar-2017 02:28 410
rw-0.7-r2 02-Mar-2017 02:28 529
rstudio-1.0.153 25-Jul-2017 02:35 3.6K
rstudio-1.0.143 27-Apr-2017 02:30 3.6K
rstudio-1.0.136 27-Apr-2017 02:30 3.6K
rstudio-1.0.44 27-Apr-2017 02:30 3.6K
rstudio-0.99.903 27-Apr-2017 02:30 3.6K
rstudio-0.99.902 27-Apr-2017 02:30 3.6K
rstudio-0.99.896 27-Apr-2017 02:30 3.6K
rstudio-0.99.893 27-Apr-2017 02:30 3.6K
rstudio-0.99.879 27-Apr-2017 02:30 3.6K
rstudio-0.99.491 27-Apr-2017 02:30 3.6K
rstudio-0.99.486-r1 27-Apr-2017 02:30 3.6K
rstudio-0.99.484 27-Apr-2017 02:30 3.6K
rstudio-0.99.483 27-Apr-2017 02:30 3.6K
rstudio-0.99.482 27-Apr-2017 02:30 3.6K
rstudio-0.99.473-r1 27-Apr-2017 02:30 3.6K
rstudio-0.98.1091 26-Apr-2017 02:28 2.8K
rstudio-0.98.1028 26-Apr-2017 02:28 2.5K
rstudio-0.98.953 26-Apr-2017 02:28 2.7K
rstudio-0.98.932 26-Apr-2017 02:28 2.6K
rstudio-0.98.490-r1 26-Apr-2017 02:28 2.0K
rstudio-0.98.490 26-Apr-2017 02:28 2.2K
rstudio-0.97.551 26-Apr-2017 02:28 2.2K
rstudio-0.97.336 26-Apr-2017 02:28 2.2K
rngstreams-1.0.1 26-Mar-2017 03:24 873
rkward-0.6.5 15-May-2017 02:23 2.2K
rkward-0.6.1 15-May-2017 02:23 2.9K
relational-2.5 31-May-2017 02:25 2.3K
reduce-20110414-r1 05-Mar-2017 02:22 791
qtoctave-0.10.1-r1 26-Mar-2017 03:24 1.1K
pymc3-3.1 29-Jun-2017 02:35 11K
pymc-2.3.6 31-May-2017 02:25 3.0K
pspp-0.10.2 26-Mar-2017 03:24 1.4K
pspp-0.10.1 26-Mar-2017 03:24 1.4K
prover9-2009.11a 26-Mar-2017 03:24 757
prng-3.0.2-r2 26-Mar-2017 03:24 676
polymake-3.0_p2 16-May-2017 02:32 1.5K
pari-data-20120726 02-Mar-2017 02:28 782
pari-2.7.1 12-Jun-2017 02:19 1.2K
pari-2.7.0 12-Jun-2017 02:19 1.2K
pari-2.5.4 12-Jun-2017 02:19 1.2K
pari-2.5.3 12-Jun-2017 02:19 1.2K
pari-2.5.2 12-Jun-2017 02:19 1.2K
pari-2.5.1-r1 12-Jun-2017 02:19 1.2K
pari-2.5.1 12-Jun-2017 02:19 1.1K
pari-2.5.0-r3 12-Jun-2017 02:19 1.1K
pari-2.3.5 12-Jun-2017 02:19 1.3K
p9m4-05-r1 31-May-2017 02:25 1.8K
otter-3.3-r3 12-Mar-2017 02:25 517
octave-epstk-2.4 26-Mar-2017 03:24 734
octave-epstk-2.3 26-Mar-2017 03:24 734
octave-4.2.1 12-Jun-2017 02:19 4.0K
nusmv-2.6.0 31-May-2017 02:25 1.3K
num-utils-0.5-r1 26-Mar-2017 03:24 713
num-utils-0.3 02-Mar-2017 02:28 365
normaliz-3.1.3 26-Mar-2017 03:24 810
normaliz-3.1.1 26-Mar-2017 03:24 797
normaliz-2.12.2 26-Mar-2017 03:24 791
nestedsums-1.5.1 25-May-2017 02:24 834
nauty-2.6.7 12-Jul-2017 02:24 1.1K
nauty-2.5.9 26-Mar-2017 03:24 640
msieve-9999 26-Mar-2017 03:24 930
msieve-1.51 26-Mar-2017 03:24 856
mlpy-3.5.0 31-May-2017 02:25 1.7K
minisat-2.2.0_p20130925 02-Mar-2017 02:28 656
minisat-2.2.0-r4 02-Mar-2017 02:28 542
maxima-5.40.0 01-Jun-2017 02:25 2.2K
maxima-5.39.0 26-Mar-2017 03:24 2.2K
maxima-5.38.1 26-Mar-2017 03:24 2.2K
maxima-5.37.3-r4 26-Mar-2017 03:24 2.2K
mathomatic-16.0.5 22-Jul-2017 02:35 829
mathomatic-15.8.5 26-Mar-2017 03:24 771
mathmod-4.1-r1 26-Apr-2017 02:28 896
lybniz-1.3.2-r1 31-May-2017 02:25 1.2K
lpsolve-5.5.2.0 02-Mar-2017 02:28 412
kodkodi-1.5.2-r1 26-Mar-2017 03:24 1.2K
kodkodi-1.5.2 26-Mar-2017 03:24 1.2K
kodkod-1.5.2-r1 31-May-2017 02:25 1.3K
kodkod-1.5.2 31-May-2017 02:25 1.3K
jags-4.2.0 26-Mar-2017 03:24 806
jags-4.1.0 26-Mar-2017 03:24 808
jags-4.0.0 26-Mar-2017 03:24 1.0K
jags-3.4.0 26-Mar-2017 03:24 1.0K
isabelle-2016.1 26-Mar-2017 03:24 2.8K
gwnum-277 26-Mar-2017 03:24 604
gsl-shell-2.3.0_beta1 02-Mar-2017 02:28 697
gretl-1.9.90 26-Mar-2017 03:24 1.8K
gretl-1.9.14 26-Mar-2017 03:24 1.6K
gmp-ecm-9999 26-Mar-2017 03:24 1.2K
gmp-ecm-6.4.4-r1 26-Mar-2017 03:24 1.2K
gmp-ecm-6.4.3-r5 26-Mar-2017 03:24 930
gmm-5.1 06-Apr-2017 02:32 746
glpk-4.63 29-Jul-2017 02:40 1.3K
glpk-4.61-r1 02-Jul-2017 02:21 1.3K
glpk-4.60 02-Jul-2017 02:21 1.3K
glpk-4.57 26-Mar-2017 03:24 1.3K
glpk-4.55 26-Mar-2017 03:24 1.3K
glpk-4.54 26-Mar-2017 03:24 1.3K
glpk-4.48 26-Mar-2017 03:24 1.1K
glpk-4.45 26-Mar-2017 03:24 1.0K
ginac-1.7.2 26-Mar-2017 03:24 1.0K
ginac-1.6.6 26-Mar-2017 03:24 1.0K
gimps-28.10-r1 16-Jun-2017 02:31 620
ggnfs-0.77.1-r2 26-Mar-2017 03:24 939
gfan-0.5-r1 26-Mar-2017 03:24 736
geomview-1.9.5-r1 26-Mar-2017 03:24 1.0K
geogebra-5.0.339.0_p..> 26-Apr-2017 02:28 22K
genius-1.0.21 26-Apr-2017 02:28 1.7K
frobby-0.9.0-r2 12-Mar-2017 02:25 523
frobby-0.9.0-r1 26-Mar-2017 03:24 711
fricas-1.3.2 27-Apr-2017 02:30 1.1K
fricas-1.3.1 05-Mar-2017 02:22 1.1K
fricas-1.3.0-r1 05-Mar-2017 02:22 1.2K
form-4.2.0 27-Jul-2017 02:37 944
form-4.1 26-Mar-2017 03:24 926
flint-2.5.2 26-Mar-2017 03:24 890
flint-2.4.5 26-Mar-2017 03:24 888
flint-2.4.4-r1 26-Mar-2017 03:24 890
flint-2.4.3 26-Mar-2017 03:24 831
flint-2.3 26-Mar-2017 03:24 670
fann-9999 26-Mar-2017 03:24 1.1K
fann-2.2.0-r1 26-Mar-2017 03:24 1.1K
factmsieve-76-r1 31-May-2017 02:25 1.0K
euler-1.61.0 26-Mar-2017 03:24 1.0K
ent-101202 26-Mar-2017 03:24 608
e-1.8-r1 02-Mar-2017 02:28 507
e-1.8 02-Mar-2017 02:28 507
e-1.6 02-Mar-2017 02:28 507
e-1.5 02-Mar-2017 02:28 507
dunshire-0.1.1 31-May-2017 02:25 1.8K
drgeo-1.1.0-r1 26-Mar-2017 03:24 833
diagrtb-2.64 26-Mar-2017 03:24 1.0K
dataplot-20131220 26-Mar-2017 03:24 1.3K
dataplot-20090821 26-Mar-2017 03:24 1.3K
cvc3-2.4.1-r1 05-Mar-2017 02:22 755
cvc3-2.4.1 05-Mar-2017 02:22 755
coq-8.6.1 19-Jul-2017 03:44 1.2K
coq-8.6 08-Jul-2017 02:25 1.2K
cgal-4.10 22-Jul-2017 02:35 1.6K
cgal-4.9 17-May-2017 02:26 1.6K
calc-2.12.5.4 12-Mar-2017 02:25 569
calc-2.12.4.13-r1 26-Mar-2017 03:24 757
calc-2.12.2.2 26-Mar-2017 03:24 749
cado-nfs-2.2.0 31-May-2017 02:25 1.8K
bertini-1.4 02-Mar-2017 02:28 501
axiom-200805 26-Mar-2017 03:24 773
arb-2.11.1-r1 30-Jul-2017 02:37 854
agda-stdlib-2.5.2.0.13 26-Mar-2017 03:24 1.2K
agda-stdlib-2.4.2.5 26-Mar-2017 03:24 1.3K
agda-lib-ffi-0.0.2-r2 26-Mar-2017 03:24 957
agda-lib-ffi-0.0.2 26-Mar-2017 03:24 924
agda-2.5.2-r1 26-Mar-2017 03:24 5.7K
agda-2.4.2.5-r2 26-Mar-2017 03:24 4.6K
Macaulay2-1.8.2.1-r1 31-May-2017 02:25 2.3K
Macaulay2-1.7_pre 31-May-2017 02:25 2.6K
4ti2-1.6.6 26-Mar-2017 03:24 1.0K
4ti2-1.6.5 26-Mar-2017 03:24 1.0K
4ti2-1.6.2 26-Mar-2017 03:24 1.0K