Computable analysis with applications to dynamic systems
From MaRDI portal
Publication:5220187
Recommendations
Cites work
- A computable approach to measure and integration theory
- A computer-verified monadic functional implementation of the integral
- A convenient category of domains
- A Direct Proof of the Hofmann-Mislove Theorem
- A domain-theoretic approach to computability on the real line
- A fundamental effect in computations on real numbers
- A Real Number Structure that is Effectively Categorical
- A tutorial on computable analysis
- AN EFFECTIVE CAUCHY-PEANO EXISTENCE THEOREM FOR UNIQUE SOLUTIONS
- An introduction to the verification of hybrid systems using \textsc{Ariadne}
- Approximation of the viability kernel
- Comparing Cartesian closed categories of (core) compactly generated spaces
- Computability on subsets of metric spaces.
- Computational effects in topological domain theory
- Computations via Newtonian and relativistic kinematic systems
- Constructivism in mathematics. An introduction. Volume II
- Continuity and computability of reachable sets
- Continuous Lattices and Domains
- Continuous selection of the solution map for one-sided Lipschitz differential inclusions
- Descriptive set theory in the category of represented spaces
- Domain representations of topological spaces
- Effective computability of solutions of differential inclusions: the ten thousand monkeys approach
- Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach
- Elementary computable topology
- Extended admissibility.
- Function spaces and adjoints.
- scientific article; zbMATH DE number 1595639 (Why is no real title available?)
- scientific article; zbMATH DE number 3855514 (Why is no real title available?)
- scientific article; zbMATH DE number 5595162 (Why is no real title available?)
- scientific article; zbMATH DE number 3910392 (Why is no real title available?)
- scientific article; zbMATH DE number 4070894 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 3726420 (Why is no real title available?)
- scientific article; zbMATH DE number 41225 (Why is no real title available?)
- scientific article; zbMATH DE number 41285 (Why is no real title available?)
- scientific article; zbMATH DE number 42077 (Why is no real title available?)
- scientific article; zbMATH DE number 42114 (Why is no real title available?)
- scientific article; zbMATH DE number 47777 (Why is no real title available?)
- scientific article; zbMATH DE number 52121 (Why is no real title available?)
- scientific article; zbMATH DE number 3536064 (Why is no real title available?)
- scientific article; zbMATH DE number 3600759 (Why is no real title available?)
- scientific article; zbMATH DE number 1969324 (Why is no real title available?)
- scientific article; zbMATH DE number 2035082 (Why is no real title available?)
- scientific article; zbMATH DE number 2068085 (Why is no real title available?)
- scientific article; zbMATH DE number 1460545 (Why is no real title available?)
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- scientific article; zbMATH DE number 2103282 (Why is no real title available?)
- scientific article; zbMATH DE number 776267 (Why is no real title available?)
- scientific article; zbMATH DE number 1424031 (Why is no real title available?)
- scientific article; zbMATH DE number 3329211 (Why is no real title available?)
- scientific article; zbMATH DE number 3183995 (Why is no real title available?)
- Impulse differential inclusions: a viability approach to hybrid systems
- Introduction to Interval Analysis
- Introduction to precise numerical methods. With CD-ROM.
- Konstruktive Darstellungen in Topologischen Räumen mit Rekursiver Basis
- Markov's constructive analysis; a participant's view
- On the definitions of computable real continuous functions
- On the topological aspects of the theory of represented spaces
- Optimal semicomputable approximations to reachable and invariant sets
- Partial Continuous Functions and Admissible Domain Representations
- Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- Semantics and computability of the evolution of hybrid systems
- Solutions to hybrid inclusions via set and graphical convergence with stability theory applications
- Spaces in which sequences suffice
- Synthetic topology: of data types and classical spaces
- The boundedness of all products of a pair of matrices is undecidable
- The Spectral Theory of Distributive Continuous Lattices
- Theorie der Numerierungen I
- Theorie Der Numerierungen III
- Theory and Applications of Models of Computation
- Turing machines can be efficiently simulated by the general purpose analog computer
Cited in
(17)- Computer algebra methods for implicit dynamic systems and applications
- Some applications of computers to the investigation of substitutional dynamical systems.
- On the computability of the set of automorphisms of the unit square
- On envelopes and backward approximations
- An application of computer algebra and dynamical systems
- Computer assisted proofs in dynamical systems
- Dynamics of number systems. Computation with arbitrary precision
- scientific article; zbMATH DE number 5309958 (Why is no real title available?)
- Computation with perturbed dynamical systems
- Robust Computations with Dynamical Systems
- Characterizing Computable Analysis with Differential Equations
- scientific article; zbMATH DE number 1418482 (Why is no real title available?)
- scientific article; zbMATH DE number 7075877 (Why is no real title available?)
- Computing with continuous-time Liapunov systems
- Effective Computation for Nonlinear Systems
- A computable and compositional semantics for hybrid systems
- Recent development in rigorous computational methods in dynamical systems
This page was built for publication: Computable analysis with applications to dynamic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5220187)
