| Mode | Name | Size | |
|---|---|---|---|
| d--------- | agda | 193 | logplain |
| d--------- | axiom | 192 | logplain |
| d--------- | calc | 340 | logplain |
| d--------- | cgal | 201 | logplain |
| d--------- | coq | 193 | logplain |
| d--------- | dataplot | 197 | logplain |
| d--------- | drgeo | 191 | logplain |
| d--------- | euler | 192 | logplain |
| d--------- | fann | 240 | logplain |
| d--------- | freemat | 237 | logplain |
| d--------- | fricas | 239 | logplain |
| d--------- | genius | 160 | logplain |
| d--------- | geomview | 243 | logplain |
| d--------- | gimps | 466 | logplain |
| d--------- | ginac | 283 | logplain |
| d--------- | glpk | 289 | logplain |
| d--------- | gmm | 199 | logplain |
| d--------- | gretl | 237 | logplain |
| d--------- | lybniz | 160 | logplain |
| d--------- | mathomatic | 269 | logplain |
| d--------- | maxima | 343 | logplain |
| -rw-r--r-- | metadata.xml | 1326 | logplain |
| d--------- | num-utils | 209 | logplain |
| d--------- | nusmv | 237 | logplain |
| d--------- | octave | 195 | logplain |
| d--------- | otter | 239 | logplain |
| d--------- | pari | 424 | logplain |
| d--------- | pspp | 235 | logplain |
| d--------- | qtoctave | 295 | logplain |
| d--------- | relational | 213 | logplain |
| d--------- | rkward | 254 | logplain |
| d--------- | scilab | 245 | logplain |
| d--------- | singular | 296 | logplain |
| d--------- | snns | 191 | logplain |
| d--------- | spin | 283 | logplain |
| d--------- | wxmaxima | 310 | logplain |
| d--------- | xmds | 235 | logplain |
| d--------- | yacas | 191 | logplain |
GitWeb