scientific article; zbMATH DE number 1231567
From MaRDI portal
Publication:4222886
zbMath0911.68108MaRDI QIDQ4222886
Peter John Potts, Abbas Edalat
Publication date: 20 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#edalat
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On coalgebra of real numbers ⋮ An abstract data type for real numbers ⋮ Unnamed Item ⋮ Exact arithmetic on the Stern-Brocot tree ⋮ Arbitrary precision real arithmetic: design and algorithms ⋮ Coinduction for exact real number computation ⋮ A domain-theoretic approach to computability on the real line ⋮ Real functions incrementally computable by finite automata ⋮ Computable Banach spaces via domain theory ⋮ Exact real arithmetic using centred intervals and bounded error terms ⋮ The continuum as a final coalgebra ⋮ Contractivity of linear fractional transformations ⋮ Inductive and Coinductive Components of Corecursive Functions in Coq ⋮ Real functions computable by finite automata using affine representations. ⋮ Real number computation through Gray code embedding. ⋮ Admissible digit sets
This page was built for publication:
