Coinduction for exact real number computation

DOI10.1007/S00224-007-9017-6MaRDI QIDQ1015372zbMATH OpenOpenAlexFDO

Authors Ulrich Berger, Tie Hou

Publication date 8 May 2009

Published in Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00224-007-9017-6

zbMATH Keywords

coinductioncorecursionexact real number computationsigned digit streams

Mathematics Subject Classification ID

Recommendations

• Logical Approaches to Computational Barriers
• From Coinductive Proofs to Exact Real Arithmetic
• Coinductive Formal Reasoning in Exact Real Arithmetic
• Coinductive field of exact real numbers and general corecursion
• From coinductive proofs to exact real arithmetic: theory and applications

Cites work

• scientific article; zbMATH DE number 52121 (Why is no real title available?)
• scientific article; zbMATH DE number 1231567 (Why is no real title available?)
• scientific article; zbMATH DE number 1314221 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 2090725 (Why is no real title available?)
• A certified, corecursive implementation of exact real numbers
• A term calculus for (co-)recursive definitions on streamlike data structures
• Affine functions and series with co-inductive real numbers
• Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers
• Implementing constructive real analysis (preliminary report)
• Logical Approaches to Computational Barriers
• Mathematics of Program Construction
• New Computational Paradigms
• Systems of Logic Based on Ordinals^†
• Universal coalgebra: A theory of systems

Cited in

(21)

• scientific article; zbMATH DE number 1696612 (Why is no real title available?)
• scientific article; zbMATH DE number 1231646 (Why is no real title available?)
• From Coinductive Proofs to Exact Real Arithmetic
• Typed vs. untyped realizability
• Logic for Exact Real Arithmetic: Multiplication
• scientific article; zbMATH DE number 7731929 (Why is no real title available?)
• Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers
• Limits of real numbers in the binary signed digit representation
• Coinductive Formal Reasoning in Exact Real Arithmetic
• A certified, corecursive implementation of exact real numbers
• A coinductive approach to real analysis
• The world's shortest correct exact real arithmetic program?
• Certified Exact Transcendental Real Number Computation in Coq
• Lazy computation with exact real numbers
• Proofs, programs, processes
• Computer Certified Efficient Exact Reals in Coq
• From coinductive proofs to exact real arithmetic: theory and applications
• Logical Approaches to Computational Barriers
• A stream calculus of bottomed sequences for real number computation
• Affine functions and series with co-inductive real numbers
• Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base

This page was built for publication: Coinduction for exact real number computation

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