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 df289f2625
Sync with portage [Tue May 31 08:58:31 MSK 2016].
9 years ago
..
4ti2
Macaulay2
agda
agda-executable
agda-lib-ffi
agda-stdlib
axiom
bertini
cado-nfs
calc
cgal
coq
cvc3
dataplot
diagrtb
drgeo
e
ent
euler
factmsieve
fann
flint
form
freemat
fricas
frobby
genius
geogebra
geomview
gfan
ggnfs
gimps
ginac
glpk
gmm
gmp-ecm
gretl
gsl-shell
gwnum
isabelle
jags
kodkod
kodkodi
lpsolve
lybniz
mathmod
mathomatic
maxima
minisat
mlpy
msieve
nauty
nestedsums
normaliz
num-utils
nusmv
octave
octave-epstk
otter
p9m4
pari
pari-data
polymake
prng
prover9
pspp
pymc
qtoctave
reduce
relational Sync with portage [Tue May 31 08:58:31 MSK 2016]. 9 years ago
rkward
rngstreams
rstudio
rw
sha1-polyml
singular
snns
spass
spin
topcom
twelf
unuran
wxmaxima
xmds
yacas
yafu
metadata.xml