A coinductive approach to real analysis

DOI10.18273/REVINT.V35N1-2017007zbMATH Open1378.18001OpenAlexW2754043002MaRDI QIDQ4590870FDOQ4590870

Authors: Guillermo Ortiz Rico, Lina Isabel Triviño Viera 

Publication date: 20 November 2017

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

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

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

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)

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
• Title not available (Why is that?)
• 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)