Lines Matching full:real
3 <TITLE>Constructive Real Calculator and Library Implementation Notes</title>
6 <H1>Constructive Real Calculator and Library Implementation Notes</h1>
8 The calculator is based on the constructive real library consisting
33 A constructive real number <I>x</i> is represented abstractly as a function
55 constructive real numbers are possible.
83 real numbers and constructive analysis. Relatively little of this
91 Probably the most practical approach to constructive real arithmetic
93 but not quite, constructive real arithmetic is described in
99 of constructive real arithmetic are explored in
108 Boehm, Cartwright, Riggle, and O'Donnell, "Exact Real Arithmetic:
