Constructive analysis with witnesses

MaRDI QIDQ5435637zbMATH OpenFDO

Authors Helmut Schwichtenberg

Publication date 14 January 2008

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Recommendations

• Program Extraction in Constructive Analysis
• Program extraction in exact real arithmetic
• From coinductive proofs to exact real arithmetic: theory and applications
• Constructive analysis, types and exact real numbers
• Proofs, programs, processes

Cited in

(10)

• Constructive analysis, types and exact real numbers
• Practical stability analysis of sliding-mode control with explicit computation of sampling time
• Realizability interpretation of proofs in constructive analysis
• Extensional constructive real analysis via locators
• Axiomatic reals and certified efficient exact real computation
• Building Mathematics-Based Software Systems to Advance Science and Create Knowledge
• Limits of real numbers in the binary signed digit representation
• Lookahead analysis in exact real arithmetic with logical methods
• Program Extraction in Constructive Analysis
• Extracting efficient exact real number computation from proofs in constructive type theory

This page was built for publication: Constructive analysis with witnesses

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