Index of /gentoo/metadata/md5-cache/sci-mathematics

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] octave-epstk-2.4        22-Nov-2021 04:39  435   
[   ] gp2c-0.0.12             06-Dec-2021 08:39  388   
[   ] verit-2021.06.2         10-Mar-2022 22:39  320   
[   ] cudd-3.0.0              18-Dec-2022 23:10  295   
[   ] metamath-databases-2..> 04-Mar-2023 17:40  420   
[   ] lrcalc-1.2              09-Jun-2023 17:40  365   
[TXT] num-utils-0.5-r2        09-Jun-2023 17:40  445   
[   ] rngstreams-1.0.1        09-Jun-2023 17:40  455   
[   ] unuran-1.8.1            09-Jun-2023 17:40  653   
[   ] cliquer-1.22            22-Nov-2023 23:40  389   
[TXT] coq-mathcomp-1.19.0     15-Jan-2024 22:41  442   
[   ] acl2-8.5-r2             06-May-2024 19:40  648   
[   ] acl2-8.5_p20240307      06-May-2024 19:40  705   
[TXT] proverif-2.04-r1        01-Jun-2024 23:41  773   
[TXT] proverif-2.05           01-Jun-2024 23:41  759   
[TXT] proverif-9999           11-Jul-2024 23:11  769   
[   ] pari-data-20191216      19-Aug-2024 15:11  725   
[   ] lrcalc-2.1              20-Aug-2024 23:11  372   
[   ] planarity-3.0.2.0       20-Aug-2024 23:11  390   
[TXT] lcalc-2.0.5-r2          27-Aug-2024 03:11  676   
[   ] gap-4.13.1              29-Aug-2024 16:10  1.1K  
[   ] rw-0.9                  21-Sep-2024 06:11  383   
[   ] singular-4.4.0_p6       05-Oct-2024 06:11  1.0K  
[   ] 4ti2-1.6.7-r1           08-Oct-2024 17:52  944   
[   ] abc-0_p20230313         08-Oct-2024 17:52  642   
[   ] abc-9999                08-Oct-2024 17:52  601   
[   ] alt-ergo-2.4.3-r2       08-Oct-2024 17:52  1.3K  
[   ] arb-2.23.0              08-Oct-2024 17:52  1.0K  
[   ] bertini-1.4             08-Oct-2024 17:52  613   
[   ] bertini-1.6             08-Oct-2024 17:52  665   
[TXT] btor2tools-1.0.0_pre..> 08-Oct-2024 17:52  799   
[   ] cadical-1.9.5           08-Oct-2024 17:52  427   
[   ] cadical-2.0.0           08-Oct-2024 17:52  466   
[   ] calc-2.13.0.1           08-Oct-2024 17:52  608   
[   ] cgal-5.6                08-Oct-2024 17:52  1.2K  
[   ] cgal-5.6.1              08-Oct-2024 17:52  1.2K  
[   ] coq-8.19.2              08-Oct-2024 17:52  1.4K  
[   ] coq-8.20.0              08-Oct-2024 17:52  1.4K  
[TXT] coq-serapi-0.20.0       08-Oct-2024 17:52  1.3K  
[   ] cubicle-1.2.0-r2        08-Oct-2024 17:52  1.2K  
[   ] dataplot-20131220       08-Oct-2024 17:52  1.4K  
[   ] diagrtb-2.64            08-Oct-2024 17:52  950   
[   ] dsfmt-2.2.4             08-Oct-2024 17:52  514   
[   ] easycrypt-2024.01-r1    08-Oct-2024 17:52  1.1K  
[   ] easycrypt-2024.09       08-Oct-2024 17:52  1.1K  
[TXT] eclib-20231212          08-Oct-2024 17:52  1.1K  
[TXT] eclib-20240408          08-Oct-2024 17:52  1.1K  
[   ] ent-101202              08-Oct-2024 17:52  520   
[   ] eprover-3.0.03          08-Oct-2024 17:52  539   
[   ] eprover-3.0_pre008      08-Oct-2024 17:52  546   
[   ] euler-1.61.0-r1         08-Oct-2024 17:52  871   
[   ] fann-2.2.0-r1           08-Oct-2024 17:52  731   
[   ] fann-9999               08-Oct-2024 17:52  735   
[TXT] flocq-4.1.0-r1          08-Oct-2024 17:52  541   
[TXT] flocq-4.1.1             08-Oct-2024 17:52  541   
[   ] form-4.3.1              08-Oct-2024 17:52  1.4K  
[   ] form-5.0.0_beta1        08-Oct-2024 17:52  1.4K  
[   ] fricas-1.3.11-r3        08-Oct-2024 17:52  1.4K  
[   ] frobby-0.9.0-r4         08-Oct-2024 17:52  550   
[TXT] gappalib-coq-1.5.2-r1   08-Oct-2024 17:52  704   
[TXT] gappalib-coq-1.5.3      08-Oct-2024 17:52  704   
[TXT] genius-1.0.27           08-Oct-2024 17:52  1.6K  
[   ] geogebra-bin-5.0.752.0  08-Oct-2024 17:52  895   
[   ] geogebra-bin-6.0.804.0  08-Oct-2024 17:52  1.0K  
[   ] geomview-1.9.5-r1       08-Oct-2024 17:52  1.1K  
[   ] gfan-0.6.2-r4           08-Oct-2024 17:52  705   
[   ] gfan-0.6.2-r6           08-Oct-2024 17:52  764   
[   ] giac-1.9.0.29-r1        08-Oct-2024 17:52  1.9K  
[   ] giac-1.9.0.995-r1       08-Oct-2024 17:52  2.0K  
[   ] gimps-30.8.15           08-Oct-2024 17:52  881   
[   ] gimps-30.8.17           08-Oct-2024 17:52  758   
[   ] gimps-30.19.14          08-Oct-2024 17:52  912   
[   ] gimps-30.19.20          08-Oct-2024 17:52  911   
[   ] glpk-5.0-r1             08-Oct-2024 17:52  1.3K  
[   ] gmm-5.4                 08-Oct-2024 17:52  534   
[   ] gmp-ecm-7.0.5-r1        08-Oct-2024 17:52  685   
[   ] gretl-2021d             08-Oct-2024 17:52  1.9K  
[   ] kind2-1.9.0             08-Oct-2024 17:52  851   
[   ] kissat-3.1.0            08-Oct-2024 17:52  523   
[   ] kissat-3.1.1            08-Oct-2024 17:52  523   
[   ] lean-3.51.1             08-Oct-2024 17:52  889   
[   ] lpsolve-5.5.2.11-r2     08-Oct-2024 17:52  556   
[   ] mathematica-10.3.1-r1   08-Oct-2024 17:52  671   
[   ] mathematica-12.1.0      08-Oct-2024 17:52  671   
[   ] mathematica-12.1.1-r1   08-Oct-2024 17:52  671   
[   ] mathematica-12.2.0      08-Oct-2024 17:52  671   
[   ] mathematica-13.0.0      08-Oct-2024 17:52  676   
[   ] mathematica-13.0.1      08-Oct-2024 17:52  1.0K  
[   ] mathematica-13.1.0      08-Oct-2024 17:52  1.1K  
[   ] mathematica-13.2.1      08-Oct-2024 17:52  1.1K  
[   ] mathematica-13.3.1      08-Oct-2024 17:52  1.5K  
[   ] mathematica-14.0.0      08-Oct-2024 17:52  1.5K  
[   ] mathmod-11.1            08-Oct-2024 17:52  926   
[   ] mathomatic-16.0.5-r1    08-Oct-2024 17:52  695   
[   ] metamath-0.198          08-Oct-2024 17:52  799   
[   ] minisat-2.2.1-r1        08-Oct-2024 17:52  871   
[   ] msieve-1.53-r1          08-Oct-2024 17:52  701   
[   ] nauty-2.8.8-r1          08-Oct-2024 17:52  1.1K  
[   ] nestedsums-1.5.2-r1     08-Oct-2024 17:52  660   
[   ] normaliz-3.9.3          08-Oct-2024 17:52  679   
[   ] normaliz-3.10.1         08-Oct-2024 17:52  1.0K  
[   ] opensmt-2.5.2           08-Oct-2024 17:52  1.1K  
[   ] otter-3.3-r4            08-Oct-2024 17:52  611   
[   ] palp-2.21               08-Oct-2024 17:52  580   
[   ] pari-2.15.5             08-Oct-2024 17:52  1.1K  
[   ] picosat-965             08-Oct-2024 17:52  392   
[   ] plfit-0.9.3             08-Oct-2024 17:52  777   
[   ] plfit-0.9.5             08-Oct-2024 17:52  779   
[   ] primecount-7.6          08-Oct-2024 17:52  939   
[   ] primecount-7.13-r1      08-Oct-2024 17:52  928   
[   ] primesieve-11.0         08-Oct-2024 17:52  867   
[   ] primesieve-12.3         08-Oct-2024 17:52  906   
[   ] prng-3.0.2-r3           08-Oct-2024 17:52  817   
[   ] prover9-2009.11a-r1     08-Oct-2024 17:52  539   
[TXT] psmt2-frontend-0.4.0    08-Oct-2024 17:52  828   
[   ] rkward-0.8.0            08-Oct-2024 17:52  2.9K  
[TXT] sha1-polyml-5.9         08-Oct-2024 17:52  452   
[   ] singular-4.3.2_p16-r1   08-Oct-2024 17:52  1.4K  
[TXT] spin-6.5.2-r1           08-Oct-2024 17:52  694   
[   ] sympow-2.023.6          08-Oct-2024 17:52  524   
[   ] topcom-0.17.8-r3        08-Oct-2024 17:52  1.1K  
[   ] topcom-1.1.2            08-Oct-2024 17:52  1.1K  
[TXT] twelf-1.7.1-r2          08-Oct-2024 17:52  827   
[   ] unuran-1.9.0            08-Oct-2024 17:52  1.1K  
[   ] vampire-4.8             08-Oct-2024 17:52  956   
[   ] vampire-4.9             08-Oct-2024 17:52  956   
[   ] verifpal-0.27.0         08-Oct-2024 17:52  810   
[   ] why3-1.6.0              08-Oct-2024 17:52  2.0K  
[   ] why3-for-spark-2021-r1  08-Oct-2024 17:52  2.1K  
[TXT] wxmaxima-24.02.1        08-Oct-2024 17:52  1.2K  
[TXT] wxmaxima-24.05.0        08-Oct-2024 17:52  1.2K  
[   ] yacas-1.9.1-r1          08-Oct-2024 17:52  1.6K  
[   ] yafu-1.34.3-r1          08-Oct-2024 17:52  734   
[   ] yices2-2.6.4-r1         08-Oct-2024 17:52  1.0K  
[   ] gap-4.13.1-r1           09-Oct-2024 16:12  1.1K  
[   ] alectryon-1.4.0-r2      14-Oct-2024 15:44  3.1K  
[   ] boolector-3.2.3         14-Oct-2024 15:44  2.0K  
[   ] boolector-3.2.4         14-Oct-2024 15:44  2.2K  
[   ] cryptominisat-5.11.2..> 14-Oct-2024 15:44  2.7K  
[   ] dunshire-0.1.3-r1       14-Oct-2024 15:44  2.1K  
[   ] flint-3.1.3_p1-r1       14-Oct-2024 15:44  1.3K  
[   ] ginac-1.8.7-r1          14-Oct-2024 15:44  862   
[   ] ginac-1.8.7-r2          14-Oct-2024 15:44  874   
[   ] ginac-1.8.7-r3          14-Oct-2024 15:44  896   
[   ] lean-4.2.0              14-Oct-2024 15:44  1.0K  
[   ] lean-4.11.0             14-Oct-2024 15:44  1.0K  
[   ] libpoly-0.1.11          14-Oct-2024 15:44  2.0K  
[   ] mathlib-tools-1.3.2_p1  14-Oct-2024 15:44  5.7K  
[   ] maxima-5.46.0-r1        14-Oct-2024 15:44  3.0K  
[   ] maxima-5.47.0           14-Oct-2024 15:44  3.0K  
[   ] maxima-5.47.0-r1        14-Oct-2024 15:44  3.2K  
[   ] petsc-3.16.0-r2         14-Oct-2024 15:44  2.2K  
[   ] petsc-3.17.1-r2         14-Oct-2024 15:44  2.0K  
[   ] petsc-3.18.2-r1         14-Oct-2024 15:44  2.0K  
[   ] petsc-3.19.1-r1         14-Oct-2024 15:44  2.0K  
[   ] petsc-3.19.2-r1         14-Oct-2024 15:44  2.0K  
[   ] petsc-3.19.4-r1         14-Oct-2024 15:44  2.0K  
[   ] petsc-3.20.5-r1         14-Oct-2024 15:44  2.0K  
[   ] petsc-3.21.3            14-Oct-2024 15:44  2.0K  
[   ] pspp-1.6.2-r2           14-Oct-2024 15:44  1.6K  
[   ] slepc-3.16.0            14-Oct-2024 15:44  1.0K  
[   ] slepc-3.17.1            14-Oct-2024 15:44  1.0K  
[   ] slepc-3.18.1            14-Oct-2024 15:44  968   
[   ] slepc-3.19.0            14-Oct-2024 15:44  1.0K  
[   ] slepc-3.19.1            14-Oct-2024 15:44  1.0K  
[   ] slepc-3.20.1            14-Oct-2024 15:44  1.0K  
[   ] slepc-3.21.1            14-Oct-2024 15:44  1.1K  
[   ] stp-2.3.3-r3            14-Oct-2024 15:44  2.1K  
[   ] stp-2.3.4               14-Oct-2024 15:44  2.1K  
[   ] cgal-6.0                15-Oct-2024 21:10  1.2K  
[   ] mathematica-10.3.1-r2   17-Oct-2024 00:11  691   
[   ] cvc4-1.8-r5             17-Oct-2024 17:41  1.4K  
[   ] gmm-5.4.2               26-Oct-2024 00:41  359   
[   ] polymake-4.11           27-Oct-2024 04:41  1.7K  
[   ] polymake-4.12           27-Oct-2024 04:41  1.7K  
[TXT] wxmaxima-24.08.0        02-Nov-2024 09:41  1.2K  
[   ] sympow-2.023.7          04-Nov-2024 04:11  526   
[   ] octave-8.3.0-r2         05-Nov-2024 12:11  4.4K  
[   ] octave-9.2.0-r1         05-Nov-2024 12:11  4.2K  
[   ] smtinterpol-2.5_p202..> 05-Nov-2024 12:11  751   
[   ] z3-4.13.3               05-Nov-2024 12:11  2.5K  
[   ] cadabra-2.4.5.4         11-Nov-2024 05:44  3.6K  
[   ] cadabra-2.4.5.6         11-Nov-2024 05:44  3.6K  
[   ] cadabra-2.4.5.7         11-Nov-2024 05:44  3.6K  
[   ] gappa-1.4.1             12-Nov-2024 19:41  644   
[   ] gappa-1.4.2             12-Nov-2024 19:41  644   
[   ] gsl-shell-2.3.5         12-Nov-2024 19:41  1.6K  
[   ] mathematica-14.1.0      13-Nov-2024 17:11  1.5K  
[TXT] eclib-20241112          15-Nov-2024 00:41  655   
[   ] jags-4.3.1-r1           15-Nov-2024 23:41  1.0K  
[   ] clipper2-1.4.0          16-Nov-2024 23:11  793   
[   ] manifold-3.0.0_pre20..> 16-Nov-2024 23:11  2.8K  
[   ] glpk-5.0-r3             20-Nov-2024 05:43  1.3K  
[   ] Manifest.gz             20-Nov-2024 23:10   32K  
[   ] why3-1.7.2              20-Nov-2024 23:10  2.0K