Mode | Name | Size | |
---|---|---|---|
d--------- | Macaulay2 | 195 | logplain |
d--------- | axiom | 281 | logplain |
d--------- | calc | 242 | logplain |
d--------- | coq | 235 | logplain |
d--------- | drgeo | 237 | logplain |
d--------- | euler | 242 | logplain |
d--------- | fann | 238 | logplain |
d--------- | geomview | 197 | logplain |
d--------- | gimps | 286 | logplain |
d--------- | ginac | 191 | logplain |
d--------- | glpk | 274 | logplain |
d--------- | gturing | 193 | logplain |
d--------- | kalamaris | 248 | logplain |
d--------- | koctave | 195 | logplain |
d--------- | kseg | 190 | logplain |
d--------- | ksimus-boolean | 200 | logplain |
d--------- | ksimus-datarecorder | 205 | logplain |
d--------- | ksimus-floatingpoint | 206 | logplain |
d--------- | ksimus | 195 | logplain |
d--------- | mathomatic | 301 | logplain |
d--------- | maxima | 292 | logplain |
-rw-r--r-- | metadata.xml | 1326 | logplain |
d--------- | mupad | 194 | logplain |
d--------- | num-utils | 241 | logplain |
d--------- | octave-forge | 444 | logplain |
d--------- | octave | 343 | logplain |
d--------- | otter | 192 | logplain |
d--------- | pari | 331 | logplain |
d--------- | pariguide | 195 | logplain |
d--------- | scilab | 243 | logplain |
d--------- | singular | 299 | logplain |
d--------- | snns | 191 | logplain |
d--------- | yacas | 286 | logplain |