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 a09983f969
Sync with portage [Mon Apr 20 13:56:26 MSK 2020].
5 years ago
..
4ti2
agda
agda-lib-ffi
agda-stdlib
alt-ergo
arb
axiom
bertini
calc
cgal
cliquer
coq
cvc4
dataplot
diagrtb
dunshire
eclib
ent
euler
fann
flint
flintqs
form
fricas
frobby
genius
geogebra
geomview
gfan
ggnfs
gimps
ginac
glpk
gmm
gmp-ecm
gp2c
gretl
gsl-shell
jags
lpsolve
lrcalc
mathmod
mathomatic
maxima
minisat
msieve
nauty
nestedsums
normaliz
num-utils
octave
octave-epstk
otter
pari
pari-data
petsc
planarity
polymake
prng
prover9
psmt2-frontend
pspp
pymc3
relational
rkward
rngstreams
rstudio
rw
sha1-polyml
singular
slepc
spin
topcom
twelf
unuran
why3-for-spark
wxmaxima
yacas
yafu
z3
Manifest.gz
metadata.xml