Implementing constructive real analysis (preliminary report)

DOI10.1007/BFB0021090MaRDI QIDQ4594262zbMATH OpenFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 6194144
• Real analysis. A constructive approach
• Real analysis. A constructive approach
• scientific article; zbMATH DE number 2183393
• On the Constructive Dedekind Reals: Extended Abstract
• Constructive analysis, types and exact real numbers
• Real analysis. A constructive approach through interval arithmetic
• A Constructive Look at Generalised Cauchy Reals
• On the constructive Dedekind reals
• Constructive mathematics: a foundation for computable analysis

Cited in

(10)

• scientific article; zbMATH DE number 3986665 (Why is no real title available?)
• A certified, corecursive implementation of exact real numbers
• scientific article; zbMATH DE number 4101139 (Why is no real title available?)
• Exploring abstract algebra in constructive type theory
• Coinduction for exact real number computation
• Exercising Nuprl's open-endedness
• Formalization of real analysis: a survey of proof assistants and libraries
• The constructive reals as a Java library
• Notes from the logbook of a proof-checker's project
• Constructing the real numbers in HOL

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4594262)