You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
gentoo-overlay/sci-mathematics
root cc233f3bca
Sync with portage [Sat Dec 8 15:06:39 MSK 2018].
6 years ago
..
4ti2 Sync with portage [Sun May 27 18:28:31 MSK 2018]. 7 years ago
Macaulay2 Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
agda Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
agda-lib-ffi Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
agda-stdlib Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
alt-ergo Sync with portage [Mon Jun 4 08:34:45 MSK 2018]. 7 years ago
arb Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
axiom Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
bertini Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
calc Sync with portage [Thu Jul 12 07:27:47 MSK 2018]. 6 years ago
cgal Sync with portage [Sun Sep 9 21:49:19 MSK 2018]. 6 years ago
coq Sync with portage [Tue Apr 10 00:26:42 MSK 2018]. 7 years ago
cvc3 Sync with portage [Mon Apr 9 09:35:29 MSK 2018]. 7 years ago
cvc4 Sync with portage [Wed Jul 18 11:50:52 MSK 2018]. 6 years ago
dataplot Sync with portage [Fri Apr 6 21:47:21 MSK 2018]. 7 years ago
diagrtb Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
drgeo Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
dunshire Sync with portage [Thu Jun 28 00:12:32 MSK 2018]. 6 years ago
e Sync with portage [Mon Apr 9 09:35:29 MSK 2018]. 7 years ago
ent Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
euler Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
factmsieve Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
fann Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
flint Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
form Sync with portage [Fri Apr 6 21:47:21 MSK 2018]. 7 years ago
fricas Sync with portage [Thu Jun 28 16:35:09 MSK 2018]. 6 years ago
frobby Sync with portage [Thu Feb 8 20:08:25 MSK 2018]. 7 years ago
genius Sync with portage [Fri Dec 15 15:42:49 MSK 2017]. 7 years ago
geogebra Sync with portage [Sun Mar 18 12:24:42 MSK 2018]. 7 years ago
geomview Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
gfan Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
ggnfs Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
gimps Sync with portage [Fri Apr 13 08:26:37 MSK 2018]. 7 years ago
ginac Sync with portage [Thu Jun 28 00:12:32 MSK 2018]. 6 years ago
glpk Sync with portage [Fri Jul 13 17:00:23 MSK 2018]. 6 years ago
gmm Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
gmp-ecm Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
gretl Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
gsl-shell Sync with portage [Fri Dec 15 15:42:49 MSK 2017]. 7 years ago
gwnum Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
isabelle Sync with portage [Fri Nov 2 09:36:55 MSK 2018]. 6 years ago
jags Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
kodkod Sync with portage [Mon Apr 9 09:35:29 MSK 2018]. 7 years ago
kodkodi Sync with portage [Mon Apr 9 09:35:29 MSK 2018]. 7 years ago
lpsolve Sync with portage [Sun May 27 18:28:31 MSK 2018]. 7 years ago
lybniz Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
mathmod Sync with portage [Fri Dec 15 15:42:49 MSK 2017]. 7 years ago
mathomatic Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
maxima Sync with portage [Fri Oct 19 01:37:39 MSK 2018]. 6 years ago
minisat Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
mlpy Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
msieve Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
nauty Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
nestedsums Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
normaliz Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
num-utils Sync with portage [Wed May 2 16:02:58 MSK 2018]. 7 years ago
nusmv Sync with portage [Tue Aug 21 09:17:55 MSK 2018]. 6 years ago
octave Sync with portage [Mon Sep 24 17:14:30 MSK 2018]. 6 years ago
octave-epstk Sync with portage [Tue Mar 6 08:23:02 MSK 2018]. 7 years ago
otter Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
p9m4 Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
pari Sync with portage [Fri Apr 20 18:03:55 MSK 2018]. 7 years ago
pari-data Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
polymake Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
prng Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
prover9 Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
pspp Sync with portage [Sat Dec 8 15:06:39 MSK 2018]. 6 years ago
pymc Sync with portage [Thu Jun 28 00:12:32 MSK 2018]. 6 years ago
pymc3 Sync with portage [Fri Oct 19 01:37:39 MSK 2018]. 6 years ago
reduce Sync with portage [Fri Dec 15 15:42:49 MSK 2017]. 7 years ago
relational Sync with portage [Thu Jun 28 00:12:32 MSK 2018]. 6 years ago
rkward Sync with portage [Wed Apr 18 08:33:31 MSK 2018]. 7 years ago
rngstreams Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
rstudio Sync with portage [Tue Nov 20 08:36:50 MSK 2018]. 6 years ago
rw Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
sha1-polyml Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
singular Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
snns Sync with portage [Fri Jun 15 08:45:20 MSK 2018]. 7 years ago
spass Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
spin Sync with portage [Fri Mar 30 19:27:58 MSK 2018]. 7 years ago
topcom Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
twelf Sync with portage [Sun Mar 11 16:08:38 MSK 2018]. 7 years ago
unuran Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
why3-for-spark Sync with portage [Fri Jul 13 17:00:23 MSK 2018]. 6 years ago
wxmaxima Sync with portage [Mon Nov 26 16:42:52 MSK 2018]. 6 years ago
xmds Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
yacas Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
yafu Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
z3 Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 7 years ago
Manifest.gz Sync with portage [Sat Dec 8 15:06:39 MSK 2018]. 6 years ago
metadata.xml