| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Macaulay2 | 301 | logplain |
| d--------- | agda | 238 | logplain |
| d--------- | axiom | 239 | logplain |
| d--------- | calc | 338 | logplain |
| d--------- | coq | 325 | logplain |
| d--------- | drgeo | 159 | logplain |
| d--------- | euler | 192 | logplain |
| d--------- | fann | 283 | logplain |
| d--------- | freemat | 159 | logplain |
| d--------- | geomview | 243 | logplain |
| d--------- | gimps | 240 | logplain |
| d--------- | ginac | 205 | logplain |
| d--------- | glpk | 288 | logplain |
| d--------- | gmm | 155 | logplain |
| d--------- | gretl | 237 | logplain |
| d--------- | koctave | 195 | logplain |
| d--------- | kseg | 158 | logplain |
| d--------- | mathomatic | 269 | logplain |
| d--------- | maxima | 244 | logplain |
| -rw-r--r-- | metadata.xml | 1326 | logplain |
| d--------- | num-utils | 209 | logplain |
| d--------- | nusmv | 191 | logplain |
| d--------- | octave-forge | 444 | logplain |
| d--------- | octave | 493 | logplain |
| d--------- | otter | 160 | logplain |
| d--------- | pari | 469 | logplain |
| d--------- | pspp | 190 | logplain |
| d--------- | rkward | 208 | logplain |
| d--------- | scilab | 284 | logplain |
| d--------- | singular | 348 | logplain |
| d--------- | snns | 191 | logplain |
| d--------- | wxmaxima | 212 | logplain |
| d--------- | xmds | 158 | logplain |
| d--------- | yacas | 331 | logplain |
GitWeb