Continuous domains for function spaces using spectral compactification
From MaRDI portal
Cites work
- A Domain-Theoretic Account of Picard's Theorem
- A domain-theoretic approach to Brownian motion and general continuous stochastic processes
- A domain-theoretic framework for robustness analysis of neural networks
- Continuous Lattices and Domains
- Denotational semantics of hybrid automata
- Domain theoretic second-order Euler's method for solving initial value problems
- Domain theory and differential calculus (functions of one variable)
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
- Dynamical systems, measures, and fractals via domain theory
- scientific article; zbMATH DE number 1460545 (Why is no real title available?)
- scientific article; zbMATH DE number 1461253 (Why is no real title available?)
- Non-Hausdorff topology and domain theory. Selected topics in point-set topology
- PCF extended with real numbers
- Recursive solution of initial value problems with temporal discretization
- Robustness, Scott continuity, and computability
- Safe \& robust reachability analysis of hybrid systems
- SHRAD: A language for sequential real number computation
- Stable Compactification I
- The way-below relation of function spaces over semantic domains
- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
- Topology, domain theory and theoretical computer science
This page was built for publication: Continuous domains for function spaces using spectral compactification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6831450)
