A coinductive approach to real analysis

DOI10.18273/REVINT.V35N1-2017007MaRDI QIDQ4590870zbMATH OpenOpenAlexFDO

Authors Guillermo Ortiz Rico, Lina Isabel Triviño Viera

Publication date 20 November 2017

Published in Revista Integración (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NoDerivs 4.0 International

Full work available at URL https://doi.org/10.18273/revint.v35n1-2017007

zbMATH Keywords

algebracategoriescoalgebrainductioncoinduction

Mathematics Subject Classification ID

Logic in computer science (03B70) Definitions and generalizations in theory of categories (18A05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract data types; algebraic specification (68Q65)

Recommendations

• Elements of stream calculus (an extensive exercise in coinduction)
• A coinductive calculus of streams
• Coinduction for exact real number computation
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Practical coinduction

Cited in

(8)

• Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives
• Elements of stream calculus (an extensive exercise in coinduction)
• On coalgebra of real numbers
• From Coinductive Proofs to Exact Real Arithmetic
• The Degrees of Constructibility of Cohen Reals
• Coinductive field of exact real numbers and general corecursion
• scientific article; zbMATH DE number 797420 (Why is no real title available?)
• A coinductive calculus of streams

This page was built for publication: A coinductive approach to real analysis

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