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
156
log
plain
-rw-r--r--
Manifest.gz
19676
log
plain
d---------
abc
201
log
plain
d---------
acl2
207
log
plain
d---------
alectryon
161
log
plain
d---------
alt-ergo
160
log
plain
d---------
arb
121
log
plain
d---------
bertini
168
log
plain
d---------
boolector
208
log
plain
d---------
btor2tools
174
log
plain
d---------
cadabra
258
log
plain
d---------
cadical
204
log
plain
d---------
calc
156
log
plain
d---------
cgal
284
log
plain
d---------
clipper2
125
log
plain
d---------
cliquer
123
log
plain
d---------
coq-mathcomp
130
log
plain
d---------
coq-serapi
160
log
plain
d---------
coq
166
log
plain
d---------
cryptominisat
167
log
plain
d---------
cubicle
159
log
plain
d---------
cudd
121
log
plain
d---------
cvc4
154
log
plain
d---------
dataplot
160
log
plain
d---------
diagrtb
155
log
plain
d---------
dsfmt
154
log
plain
d---------
dunshire
128
log
plain
d---------
easycrypt
183
log
plain
d---------
eclib
223
log
plain
d---------
ent
153
log
plain
d---------
eprover
210
log
plain
d---------
euler
158
log
plain
d---------
fann
200
log
plain
d---------
flint
212
log
plain
d---------
flocq
171
log
plain
d---------
form
204
log
plain
d---------
fricas
159
log
plain
d---------
frobby
158
log
plain
d---------
gap
252
log
plain
d---------
gappa
168
log
plain
d---------
gappalib-coq
185
log
plain
d---------
genius
156
log
plain
d---------
geogebra-bin
222
log
plain
d---------
geomview
160
log
plain
d---------
gfan
204
log
plain
d---------
giac
211
log
plain
d---------
gimps
302
log
plain
d---------
ginac
255
log
plain
d---------
glpk
200
log
plain
d---------
gmm
162
log
plain
d---------
gmp-ecm
127
log
plain
d---------
gp2c
122
log
plain
d---------
gretl
154
log
plain
d---------
gsl-shell
158
log
plain
d---------
jags
156
log
plain
d---------
kind2
122
log
plain
d---------
kissat
170
log
plain
d---------
lcalc
125
log
plain
d---------
lean
245
log
plain
d---------
libpoly
125
log
plain
d---------
lpsolve
162
log
plain
d---------
lrcalc
198
log
plain
d---------
manifold
137
log
plain
d---------
mathematica
721
log
plain
d---------
mathlib-tools
165
log
plain
d---------
mathmod
123
log
plain
d---------
mathomatic
131
log
plain
d---------
maxima
258
log
plain
-rw-r--r--
metadata.xml
1326
log
plain
d---------
metamath-databases
138
log
plain
d---------
metamath
157
log
plain
d---------
minisat
159
log
plain
d---------
msieve
157
log
plain
d---------
nauty
157
log
plain
d---------
nestedsums
130
log
plain
d---------
normaliz
175
log
plain
d---------
num-utils
159
log
plain
d---------
octave-epstk
127
log
plain
d---------
octave
208
log
plain
d---------
opensmt
156
log
plain
d---------
otter
155
log
plain
d---------
palp
120
log
plain
d---------
pari-data
129
log
plain
d---------
pari
122
log
plain
d---------
petsc
552
log
plain
d---------
picosat
154
log
plain
d---------
planarity
128
log
plain
d---------
plfit
122
log
plain
d---------
polymake
204
log
plain
d---------
primecount
210
log
plain
d---------
primesieve
176
log
plain
d---------
prng
156
log
plain
d---------
prover9
162
log
plain
d---------
proverif
255
log
plain
d---------
psmt2-frontend
131
log
plain
d---------
pspp
156
log
plain
d---------
rkward
155
log
plain
d---------
rngstreams
127
log
plain
d---------
rw
117
log
plain
d---------
sha1-polyml
126
log
plain
d---------
singular
216
log
plain
d---------
slepc
452
log
plain
d---------
smtinterpol
171
log
plain
d---------
spin
156
log
plain
d---------
stp
199
log
plain
d---------
sympow
206
log
plain
d---------
topcom
206
log
plain
d---------
twelf
157
log
plain
d---------
unuran
202
log
plain
d---------
vampire
168
log
plain
d---------
verifpal
158
log
plain
d---------
verit
126
log
plain
d---------
why3-for-spark
165
log
plain
d---------
why3
198
log
plain
d---------
wxmaxima
229
log
plain
d---------
yacas
125
log
plain
d---------
yafu
157
log
plain
d---------
yices2
126
log
plain
d---------
z3
120
log
plain