Mathematical Software
see also the Oberwolfach References on Mathematical Software
Guests of the Institute may use "ssh -X feuerbach" to access a dedicated application server for mathematical software. The following software is currently installed:
| software | version | text mode | graphical mode |
|---|---|---|---|
| Cinderella | 2.6 | Cinderella2 | |
| Cocoa | 5.0 | cocoa5 | |
| coq | 8.3 | ... | |
| Euler | 1.61.0 | euler | |
| frobby | 0.9.0 | frobby | |
| GAP | 4.4.12 | gap.sh | xgap.sh |
| gfan | 0.5 | gfan | |
| ginac | 1.6.2 | ginsh | |
| gretl | 1.9.9 | gretlcli | |
| isabelle | 2011.1 | isabelle | |
| JSurfer | surfer | ||
| Kash | 3 | kash3 | |
| Lie | 2.2.2 | lie | |
| Macaulay 2 | 1.4 | M2 | |
| Magma | 2.18-12 | magma | |
| Maple | 16 | maple | xmaple |
| Mathematica | 9.0 | math | mathematica |
| mathomatic | 15.7.2 | mathomatic | |
| maxima | 5.28.0 | maxima | |
| minisat | 2.2.0 | minisat | |
| nauty | 2.4.2 | ... | |
| Normaliz | 2.5 | norm64 | |
| Octave | 3.6.2 | octave | qtoctave |
| PARI/GP | 2.3.4 |
gp | |
| polymake | 2.11 | polymake | |
| R | 2.14.1 | R | |
| reduce | 20110414 | redcsl | |
| SAGE | 5.3 | sage | |
| Scilab | 5.3.3 | scilab | |
| Singular | 3.1.4 | Singular | |
| Yacas | 1.3.2 | yacas |
