| MathBus | 
 | 
[ Term
Structure | Algebra
| Geometry | Logic | Drawing ]
[ Language Bindings
| C++ | Java | Lisp | ML ]
Libraries of routines are available for manipulating MathBus objects. Bindings exist for the following programming languages:
 SimLab
project].
 SimLab
project].