Certified Exact Transcendental Real Number Computation in Coq.

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

Russell O'Connor:
Certified Exact Transcendental Real Number Computation in Coq. TPHOLs 2008: 246-261