Computing with Classical Real Numbers.

Tue, 01 Jan 2008 00:00:00 +0100

Cezary Kaliszyk , Russell O'Connor:
Computing with Classical Real Numbers. CoRR abs/0809.1644 (2008)