Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
From MaRDI portal
Publication:4382500
algorithmssurveychaosfractal geometryiterated function systemsstatistical physicselementary functionscontinuous domainsreal arithmeticmeasure and integrationexact computer arithmeticeffective presentation
Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Fractals (28A80) Elementary functions (26A09) Set functions and measures on topological spaces (regularity of measures, etc.) (28C15) Dimension theory in general topology (54F45) Semantics in the theory of computing (68Q55) Higher-type and set recursion theory (03D65) Applications of computability and recursion theory (03D80)
Recommendations
Cites work
- 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?)
- Automata, languages and programming. 24th international colloquium, ICALP '97, Bologna, Italy, July 7--11, 1997. Proceedings
- CPO's of measures for nondeterminism
- Complete local rings as domains
- Continuous information systems
- 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
- 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
(41)- \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- An extension of chaotic probability models to real-valued variables
- Bounded complete domains and their logical form
- Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
- Polish spaces, computable approximations, and bitopological spaces
- Combinatorics for computing relativistic several complex variable domains
- A domain-theoretic framework for robustness analysis of neural networks
- A new fixed point theorem in domain theory
- Outline of partial computability in computable topology
- A constructive theory of continuous domains suitable for implementation
- Two categories of effective continuous cpos
- Computable Banach spaces via domain theory
- Decidable fan theorem and uniform continuity theorem with continuous moduli
- Domain theoretic second-order Euler's method for solving initial value problems
- Topological games in domain theory
- Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
- Reducibility of domain representations and Cantor–Weihrauch domain representations
- Recursive solution of initial value problems with temporal discretization
- Completeness of hyperspaces of compact subsets of quasi-metric spaces
- Computable de Finetti measures
- Can partial indexings be totalized?
- Probabilistic operational semantics for the lambda calculus
- Effectiveness in RPL, with applications to continuous logic
- Extension of valuations on locally compact sober spaces
- Ambiguous representations of semilattices, imperfect information, and predicate transformers
- A topology on lattice-ordered groups
- A domain-theoretic approach to Brownian motion and general continuous stochastic processes
- Wadge hardness in Scott spaces and its effectivization
- Computability and the morphological complexity of some dynamics on continuous domains
- A domain-theoretic approach to computability on the real line
- Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization
- Computable total functions on metric algebras, universal algebraic specifications and dynamical systems
- Confined modified realizability
- A Domain-Theoretic Approach to Integration in Hausdorff Spaces
- Foundation of a computable solid modelling.
- Function-space compactifications of function spaces
- Effectivity and effective continuity of multifunctions
- Some reasons for generalising domain theory
- On computational environments of topological spaces
- Some results related to the continuity problem
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)
