Coinduction for exact real number computation

DOI10.1007/S00224-007-9017-6zbMATH Open1166.68015OpenAlexW2048052240MaRDI QIDQ1015372FDOQ1015372

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

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

zbMATH Keywords

coinductioncorecursionexact real number computationsigned digit streams

Mathematics Subject Classification ID

Cites Work

• Universal coalgebra: A theory of systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Systems of Logic Based on Ordinals^†
• Title not available (Why is that?)
• A term calculus for (co-)recursive definitions on streamlike data structures
• Affine functions and series with co-inductive real numbers
• A certified, corecursive implementation of exact real numbers
• Title not available (Why is that?)
• New Computational Paradigms
• Implementing constructive real analysis (preliminary report)
• Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers
• Mathematics of Program Construction
• Logical Approaches to Computational Barriers

Cited In (21)

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

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)