Appendix C. Theorems of Gappa

Table of Contents

Predicates
Theorems
Theorems about real arithmetic
Theorems about rounding operators
Rewriting rules