CAYLEY | ⊕ 1975 | ↓ ↑ ⊕ Numerical Scientific | ⊕ Symbolic | ⊕ Australia | Symbolic maths for group theory |
Galois | ⊕ 1975 | ↓ ↑ ⊕ Numerical Scientific | ⊕ Symbolic | ⊕ Australia | Symbolic maths |
GTL | ⊕ 1975 | ⊕ Other lambda | ⊕ Australia | General Tuple Language |