Implementing constructive real analysis (preliminary report)
From MaRDI portal
Publication:4594262
DOI10.1007/BFB0021090zbMATH Open1379.68273MaRDI QIDQ4594262FDOQ4594262
Authors: Jawahar Chirimar, Douglas J. Howe 
Publication date: 17 November 2017
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
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)
- Title not available (Why is that?)
- A certified, corecursive implementation of exact real numbers
- Title not available (Why is that?)
- 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)
