Coinduction for exact real number computation
type: Item
instance of: scholarly article
title: Coinduction for exact real number computation
zbMATH Open document ID: 1166.68015
author: Ulrich Berger
author: Tie Hou
published in: Theory of Computing Systems
publication date: 2009-05-08T00:00:00Z
Mathematics Subject Classification ID: 68Q05
zbMATH DE Number: 5552164
zbMATH Keywords: exact real number computation
zbMATH Keywords: coinduction
zbMATH Keywords: corecursion
zbMATH Keywords: signed digit streams
MaRDI profile type: Publication
full work available at URL: s00224-007-9017-6
OpenAlex ID: W2048052240
cites work: Affine functions and series with co-inductive real numbers
cites work: A term calculus for (co-)recursive definitions on streamlike data structures
cites work: A certified, corecursive implementation of exact real numbers
cites work: Implementing constructive real analysis (preliminary report)
cites work: Q4813225
cites work: Q4222886
cites work: Mathematics of Program Construction
cites work: Q4355684
cites work: Q4002474
cites work: Q4256307
cites work: New Computational Paradigms
cites work: Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers
cites work: Universal coalgebra: A theory of systems
cites work: Logical Approaches to Computational Barriers
cites work: Systems of Logic Based on Ordinals†
cites work: Q4485693
DOI: 10.1007/S00224-007-9017-6
description: scientific article; zbMATH DE number 5552164