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)- Computability and the morphological complexity of some dynamics on continuous domains
- A Domain-Theoretic Approach to Integration in Hausdorff Spaces
- A domain-theoretic framework for robustness analysis of neural networks
- A new fixed point theorem in domain theory
- Wadge hardness in Scott spaces and its effectivization
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- Effectivity and effective continuity of multifunctions
- Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization
- Extension of valuations on locally compact sober spaces
- Some reasons for generalising domain theory
- Confined modified realizability
- Computable de Finetti measures
- A domain-theoretic approach to Brownian motion and general continuous stochastic processes
- A domain-theoretic approach to computability on the real line
- Ambiguous representations of semilattices, imperfect information, and predicate transformers
- On computational environments of topological spaces
- Computable total functions on metric algebras, universal algebraic specifications and dynamical systems
- Function-space compactifications of function spaces
- Domain theoretic second-order Euler's method for solving initial value problems
- Probabilistic operational semantics for the lambda calculus
- A constructive theory of continuous domains suitable for implementation
- Topological games in domain theory
- \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates
- A topology on lattice-ordered groups
- Two categories of effective continuous cpos
- Combinatorics for computing relativistic several complex variable domains
- Decidable fan theorem and uniform continuity theorem with continuous moduli
- Polish spaces, computable approximations, and bitopological spaces
- Bounded complete domains and their logical form
- Computable Banach spaces via domain theory
- Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
- Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
- Completeness of hyperspaces of compact subsets of quasi-metric spaces
- Can partial indexings be totalized?
- An extension of chaotic probability models to real-valued variables
- Outline of partial computability in computable topology
- Reducibility of domain representations and Cantor–Weihrauch domain representations
- Foundation of a computable solid modelling.
- Effectiveness in RPL, with applications to continuous logic
- Some results related to the continuity problem
- Recursive solution of initial value problems with temporal discretization
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)
