Exact Real Computation in ProofPower
Overview
Background
The Representation of Real Numbers
Considerations Specific to LCF or HOL Provers
Beyond the LCF Paradigm
up HOME © RBJ V