index
:
portage
edge
master
next
Portage tree snapshot
Redcore Linux Project
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
Mode
Name
Size
d---------
4ti2
288
log
plain
d---------
Macaulay2
163
log
plain
-rw-r--r--
Manifest.gz
14993
log
plain
d---------
agda-lib-ffi
185
log
plain
d---------
agda-stdlib
219
log
plain
d---------
agda
206
log
plain
d---------
alt-ergo
124
log
plain
d---------
arb
156
log
plain
d---------
axiom
155
log
plain
d---------
bertini
122
log
plain
d---------
calc
208
log
plain
d---------
cgal
241
log
plain
d---------
coq
162
log
plain
d---------
cvc3
156
log
plain
d---------
cvc4
119
log
plain
d---------
dataplot
212
log
plain
d---------
diagrtb
155
log
plain
d---------
drgeo
157
log
plain
d---------
dunshire
125
log
plain
d---------
e
199
log
plain
d---------
ent
153
log
plain
d---------
euler
155
log
plain
d---------
factmsieve
159
log
plain
d---------
fann
200
log
plain
d---------
flint
249
log
plain
d---------
form
164
log
plain
d---------
fricas
249
log
plain
d---------
frobby
158
log
plain
d---------
genius
124
log
plain
d---------
geogebra
142
log
plain
d---------
geomview
160
log
plain
d---------
gfan
154
log
plain
d---------
ggnfs
158
log
plain
d---------
gimps
251
log
plain
d---------
ginac
246
log
plain
d---------
glpk
152
log
plain
d---------
gmm
118
log
plain
d---------
gmp-ecm
225
log
plain
d---------
gretl
202
log
plain
d---------
gsl-shell
164
log
plain
d---------
gwnum
120
log
plain
d---------
isabelle
158
log
plain
d---------
jags
256
log
plain
d---------
kodkod
158
log
plain
d---------
kodkodi
127
log
plain
d---------
lpsolve
126
log
plain
d---------
lybniz
126
log
plain
d---------
mathmod
125
log
plain
d---------
mathomatic
180
log
plain
d---------
maxima
255
log
plain
-rw-r--r--
metadata.xml
1326
log
plain
d---------
minisat
217
log
plain
d---------
mlpy
121
log
plain
d---------
msieve
200
log
plain
d---------
nauty
168
log
plain
d---------
nestedsums
127
log
plain
d---------
normaliz
305
log
plain
d---------
num-utils
175
log
plain
d---------
nusmv
122
log
plain
d---------
octave-epstk
127
log
plain
d---------
octave
202
log
plain
d---------
otter
155
log
plain
d---------
p9m4
153
log
plain
d---------
pari-data
129
log
plain
d---------
pari
156
log
plain
d---------
polymake
126
log
plain
d---------
prng
156
log
plain
d---------
prover9
159
log
plain
d---------
pspp
200
log
plain
d---------
pymc
153
log
plain
d---------
pymc3
120
log
plain
d---------
reduce
161
log
plain
d---------
relational
125
log
plain
d---------
rkward
123
log
plain
d---------
rngstreams
127
log
plain
d---------
rstudio
211
log
plain
d---------
rw
120
log
plain
d---------
sha1-polyml
181
log
plain
d---------
singular
255
log
plain
d---------
snns
200
log
plain
d---------
spass
164
log
plain
d---------
spin
153
log
plain
d---------
topcom
156
log
plain
d---------
twelf
203
log
plain
d---------
unuran
123
log
plain
d---------
why3-for-spark
216
log
plain
d---------
wxmaxima
382
log
plain
d---------
xmds
121
log
plain
d---------
yacas
125
log
plain
d---------
yafu
198
log
plain
d---------
z3
194
log
plain