10.11.9 Implementation Architecture

The system consists roughly of the following components:

• A polynomial normal form expression simplification mechanism.
• A solver for linear equations [Holzbaur 92a].
• A simplex algorithm to decide linear inequalities [Holzbaur 94].