Real number computation through Gray code embedding.

DOI10.1016/S0304-3975(01)00104-9MaRDI QIDQ1607300zbMATH OpenFDO

Authors 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)

Recommendations

• Logic for Gray-code computation
• Abstract geometrical computation. V: Embedding computable analysis
• Real number computation with committed choice logic programming languages
• A coinductive approach to computing with compact sets
• Topological properties of real number representations.

Cites work

• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 3508476 (Why is no real title available?)
• scientific article; zbMATH DE number 1231567 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 870426 (Why is no real title available?)
• A domain-theoretic approach to computability on the real line
• An abstract data type for real numbers
• An abstract data type for real numbers
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On the definitions of computable real continuous functions
• Real number computability and domain theory
• The Takagi function and its generalization
• Topological properties of real number representations.
• Type 2 recursion theory

Cited in

(19)

• A stream calculus of bottomed sequences for real number computation
• \textsc{Prawf}: an interactive proof system for program extraction
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• Unimodal maps as boundary restrictions of two-dimensional full-folding maps
• Independent subbases and non-redundant codings of separable metrizable spaces
• Representations of complete uniform spaces via uniform domains
• Application of the Krawczyk-Moore-Jones algorithm to electric circuit analysis and its further development
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• Extracting total Amb programs from proofs
• Abstract geometrical computation. V: Embedding computable analysis
• Coalgebraic representation theory of fractals
• Real number computation with committed choice logic programming languages
• Computing with continuous objects: a uniform co-inductive approach
• Logic for Gray-code computation
• On finite-time computability preserving conversions
• Intuitionistic fixed point logic
• scientific article; zbMATH DE number 7350773 (Why is no real title available?)
• scientific article; zbMATH DE number 7731929 (Why is no real title available?)
• Properties of domain representations of spaces through dyadic subbases

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1607300)