Implementing constructive real analysis (preliminary report)

DOI10.1007/BFB0021090zbMath1379.68273MaRDI QIDQ4594262

Jawahar Chirimar, Douglas J. Howe

Publication date: 17 November 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Related Items (4)

Constructing the real numbers in HOL ⋮ Exploring abstract algebra in constructive type theory ⋮ Coinduction for exact real number computation ⋮ A certified, corecursive implementation of exact real numbers

This page was built for publication: Implementing constructive real analysis (preliminary report)