- The original motivation is computer algebra, as an extension language for the AXIOM system.
- Need to model the rich relationships among mathematical structures.
- Primary considerations:
- generality,
- expressivity,
- efficiency,
- interoperability.

2003-06-06