Real number computation through Gray code embedding.

DOI10.1016/S0304-3975(01)00104-9zbMath1042.68071MaRDI QIDQ1607300

Hideki Tsuiki

Publication date: 31 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Gray codeReal number computationIM2-machinesIndeterminismMultihead

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (17)

A stream calculus of bottomed sequences for real number computation ⋮ Coalgebraic Representation Theory of Fractals ⋮ Application of the Krawczyk-Moore-Jones algorithm to electric circuit analysis and its further development ⋮ Unnamed Item ⋮ Independent subbases and non-redundant codings of separable metrizable spaces ⋮ Properties of domain representations of spaces through dyadic subbases ⋮ Unimodal maps as boundary restrictions of two-dimensional full-folding maps ⋮ Extracting total Amb programs from proofs ⋮ Unnamed Item ⋮ Intuitionistic fixed point logic ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Computing with continuous objects: a uniform co-inductive approach ⋮ Representations of Complete Uniform Spaces via Uniform Domains ⋮ On Finite-time Computability Preserving Conversions ⋮ Real number computation with committed choice logic programming languages ⋮ \textsc{Prawf}: an interactive proof system for program extraction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Type 2 recursion theory
• A domain-theoretic approach to computability on the real line
• Topological properties of real number representations.
• Real number computability and domain theory
• An abstract data type for real numbers
• On the definitions of computable real continuous functions
• The Takagi function and its generalization
• An abstract data type for real numbers
• On Computable Numbers, with an Application to the Entscheidungsproblem

This page was built for publication: Real number computation through Gray code embedding.