Node:Implementation Architecture, Previous:MIP, Up:CLPQR

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].

• Fragments and Bits: Fragments and Bits
• Bugs: Bugs