Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
From MaRDI portal
(Redirected from Publication:4382500)
algorithmschaoscontinuous domainseffective presentationelementary functionsexact computer arithmeticfractal geometryiterated function systemsmeasure and integrationreal arithmeticstatistical physicssurvey
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Higher-type and set recursion theory (03D65) Applications of computability and recursion theory (03D80) Elementary functions (26A09) Fractals (28A80) Set functions and measures on topological spaces (regularity of measures, etc.) (28C15) Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Dimension theory in general topology (54F45) Semantics in the theory of computing (68Q55)
Recommendations
Cites work
- Automata, languages and programming. 24th international colloquium, ICALP '97, Bologna, Italy, July 7--11, 1997. Proceedings
- Complete local rings as domains
- Continuous information systems
- CPO's of measures for nondeterminism
- Domain representability of metric spaces
- Domain theory and integration
- Dynamical systems, measures, and fractals via domain theory
- Effectively given domains
- Embedding metric spaces into CPO's
- Existence theorems for measures on continous posets, with applications to random set theory.
- FRACTAL IMAGE COMPRESSION
- scientific article; zbMATH DE number 3964277 (Why is no real title available?)
- scientific article; zbMATH DE number 3695547 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 44378 (Why is no real title available?)
- scientific article; zbMATH DE number 41992 (Why is no real title available?)
- scientific article; zbMATH DE number 1024635 (Why is no real title available?)
- scientific article; zbMATH DE number 877299 (Why is no real title available?)
- scientific article; zbMATH DE number 3228674 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- Information categories
- Information systems for continuous posets
- LCF considered as a programming language
- Multifractality in forgetful memories
- On Devaney's Definition of Chaos
- PCF extended with real numbers
- Power domains
- Power domains and iterated function systems
- Real number computability and domain theory
- Self-similar sets as Tarski's fixed points
- Spaces of maximal points
- The Hausdorff dimension of self-affine fractals
- The universal metric properties of nonlinear transformations
- Total objects of domains
- When Scott is weak on the top
Cited in
(43)- A constructive theory of continuous domains suitable for implementation
- A domain-theoretic approach to computability on the real line
- Computable Banach spaces via domain theory
- Polish spaces, computable approximations, and bitopological spaces
- Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
- Foundation of a computable solid modelling.
- Function-space compactifications of function spaces
- Computable total functions on metric algebras, universal algebraic specifications and dynamical systems
- Extension of valuations on locally compact sober spaces
- Topological games in domain theory
- Completeness of hyperspaces of compact subsets of quasi-metric spaces
- Outline of partial computability in computable topology
- Bounded complete domains and their logical form
- Domain theoretic second-order Euler's method for solving initial value problems
- A domain-theoretic approach to Brownian motion and general continuous stochastic processes
- Can partial indexings be totalized?
- Probabilistic operational semantics for the lambda calculus
- Confined modified realizability
- Reducibility of domain representations and Cantor–Weihrauch domain representations
- Some reasons for generalising domain theory
- Effectivity and effective continuity of multifunctions
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- A Domain-Theoretic Approach to Integration in Hausdorff Spaces
- Some results related to the continuity problem
- Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
- scientific article; zbMATH DE number 860054 (Why is no real title available?)
- A topology on lattice-ordered groups
- Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization
- Wadge hardness in Scott spaces and its effectivization
- Decidable fan theorem and uniform continuity theorem with continuous moduli
- Recursive solution of initial value problems with temporal discretization
- A domain-theoretic framework for robustness analysis of neural networks
- A new fixed point theorem in domain theory
- Effectiveness in RPL, with applications to continuous logic
- Continuous domains for function spaces using spectral compactification
- \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates
- Computable de Finetti measures
- Ambiguous representations of semilattices, imperfect information, and predicate transformers
- Two categories of effective continuous cpos
- Computability and the morphological complexity of some dynamics on continuous domains
- On computational environments of topological spaces
- An extension of chaotic probability models to real-valued variables
- Combinatorics for computing relativistic several complex variable domains
This page was built for publication: Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4382500)
