View of A coinductive approach to verified exact real number computation

Return to Article Details A coinductive approach to verified exact real number computation Download Download PDF