Mode | Name | Size | |
---|---|---|---|
d--------- | Macaulay2 | 301 | logplain |
d--------- | agda | 193 | logplain |
d--------- | axiom | 286 | logplain |
d--------- | calc | 338 | logplain |
d--------- | cgal | 190 | logplain |
d--------- | coq | 325 | logplain |
d--------- | dataplot | 197 | logplain |
d--------- | drgeo | 159 | logplain |
d--------- | euler | 192 | logplain |
d--------- | fann | 333 | logplain |
d--------- | freemat | 191 | logplain |
d--------- | geomview | 243 | logplain |
d--------- | gimps | 420 | logplain |
d--------- | ginac | 237 | logplain |
d--------- | glpk | 244 | logplain |
d--------- | gmm | 155 | logplain |
d--------- | gretl | 237 | logplain |
d--------- | koctave | 195 | logplain |
d--------- | kseg | 158 | logplain |
d--------- | lybniz | 160 | logplain |
d--------- | mathomatic | 321 | logplain |
d--------- | maxima | 244 | logplain |
-rw-r--r-- | metadata.xml | 1326 | logplain |
d--------- | num-utils | 209 | logplain |
d--------- | nusmv | 191 | logplain |
d--------- | octave-forge | 322 | logplain |
d--------- | octave | 536 | logplain |
d--------- | otter | 160 | logplain |
d--------- | pari | 421 | logplain |
d--------- | pspp | 280 | logplain |
d--------- | qtoctave | 162 | logplain |
d--------- | rkward | 209 | logplain |
d--------- | scilab | 240 | logplain |
d--------- | singular | 298 | logplain |
d--------- | snns | 191 | logplain |
d--------- | wxmaxima | 359 | logplain |
d--------- | xmds | 235 | logplain |
d--------- | yacas | 191 | logplain |