Pages that link to "Item:Q1607300"

The following pages link to Real number computation through Gray code embedding. (Q1607300):

Displaying 15 items.

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