scientific article; zbMATH DE number 1231567
From MaRDI portal
Publication:4222886
Cited in
(24)- Coinduction for exact real number computation
- A new infinite product representation for real numbers
- Standard representations of real numbers
- A domain-theoretic approach to computability on the real line
- Computable Banach spaces via domain theory
- The continuum as a final coalgebra
- Contractivity of linear fractional transformations
- Real functions computable by finite automata using affine representations.
- Real number computation through Gray code embedding.
- Arbitrary precision real arithmetic: design and algorithms
- Real functions incrementally computable by finite automata
- An abstract data type for real numbers
- Exact real arithmetic for interval number systems
- Exact arithmetic on the Stern-Brocot tree
- Exact real arithmetic using centred intervals and bounded error terms
- Inductive and coinductive components of corecursive functions in Coq
- The decimal representation of real numbers
- Signed-bit representations of real numbers
- On coalgebra of real numbers
- scientific article; zbMATH DE number 1497757 (Why is no real title available?)
- scientific article; zbMATH DE number 1746040 (Why is no real title available?)
- Topological quantum gates in homotopy type theory
- Representing real numbers in a generalized numeration system
- Admissible digit sets
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222886)
