Redlog Documentation

documentationreals

Reference Manual — Real Numbers

Quantifier Elimination

Decision

Simplification and Normal Forms

Miscellaneous