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