Mode | Name | Size | |
---|---|---|---|
d--------- | 4ti2 | 238 | logplain |
d--------- | Macaulay2 | 244 | logplain |
d--------- | agda-executable | 288 | logplain |
d--------- | agda-stdlib | 257 | logplain |
d--------- | agda | 428 | logplain |
d--------- | axiom | 192 | logplain |
d--------- | calc | 337 | logplain |
d--------- | cgal | 158 | logplain |
d--------- | coq | 367 | logplain |
d--------- | cvc3 | 190 | logplain |
d--------- | dataplot | 197 | logplain |
d--------- | diagrtb | 192 | logplain |
d--------- | drgeo | 191 | logplain |
d--------- | e | 193 | logplain |
d--------- | ent | 190 | logplain |
d--------- | euler | 192 | logplain |
d--------- | factmsieve | 193 | logplain |
d--------- | fann | 243 | logplain |
d--------- | flint | 157 | logplain |
d--------- | form | 166 | logplain |
d--------- | freemat | 237 | logplain |
d--------- | fricas | 242 | logplain |
d--------- | frobby | 192 | logplain |
d--------- | genius | 193 | logplain |
d--------- | geomview | 194 | logplain |
d--------- | gfan | 234 | logplain |
d--------- | ggnfs | 163 | logplain |
d--------- | gimps | 334 | logplain |
d--------- | ginac | 283 | logplain |
d--------- | glpk | 289 | logplain |
d--------- | gmm | 274 | logplain |
d--------- | gmp-ecm | 215 | logplain |
d--------- | gretl | 238 | logplain |
d--------- | gsl-shell | 195 | logplain |
d--------- | gwnum | 157 | logplain |
d--------- | isabelle | 296 | logplain |
d--------- | jags | 203 | logplain |
d--------- | lpsolve | 163 | logplain |
d--------- | lybniz | 160 | logplain |
d--------- | mathomatic | 269 | logplain |
d--------- | maxima | 340 | logplain |
-rw-r--r-- | metadata.xml | 1326 | logplain |
d--------- | minisat | 244 | logplain |
d--------- | mlpy | 158 | logplain |
d--------- | msieve | 194 | logplain |
d--------- | nauty | 159 | logplain |
d--------- | nestedsums | 168 | logplain |
d--------- | normaliz | 289 | logplain |
d--------- | num-utils | 212 | logplain |
d--------- | nusmv | 283 | logplain |
d--------- | octave-epstk | 215 | logplain |
d--------- | octave | 242 | logplain |
d--------- | otter | 239 | logplain |
d--------- | p9m4 | 187 | logplain |
d--------- | pari-data | 166 | logplain |
d--------- | pari | 424 | logplain |
d--------- | polymake | 289 | logplain |
d--------- | prng | 190 | logplain |
d--------- | prover9 | 196 | logplain |
d--------- | pspp | 238 | logplain |
d--------- | pymc | 200 | logplain |
d--------- | qtoctave | 247 | logplain |
d--------- | reduce | 248 | logplain |
d--------- | relational | 163 | logplain |
d--------- | rkward | 383 | logplain |
d--------- | rngstreams | 164 | logplain |
d--------- | scilab | 295 | logplain |
d--------- | singular | 400 | logplain |
d--------- | snns | 237 | logplain |
d--------- | spass | 157 | logplain |
d--------- | spin | 235 | logplain |
d--------- | topcom | 241 | logplain |
d--------- | unuran | 192 | logplain |
d--------- | wxmaxima | 315 | logplain |
d--------- | xmds | 235 | logplain |
d--------- | yacas | 191 | logplain |
d--------- | yafu | 204 | logplain |