AXIOM*

A symbolic mathematics system.

A# is one component of AXIOM*.

Version: 2.

[Relationship with AXIOM?]