Domain theoretic solutions of initial value problems for unbounded vector fields

MaRDI QIDQ2852369zbMATH OpenFDO

Authors Dirk Pattinson, Abbas Edalat

Publication date 8 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106002106

Mathematics Subject Classification ID

Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations (34A12) Continuous lattices and posets, applications (06B35) Numerical methods for initial value problems involving ordinary differential equations (65L05)

Recommendations

• Automata, Languages and Programming
• Domain-theoretic solution of differential equations (scalar fields)
• Polynomial-time solution of initial value problems using polynomial enclosures
• A Domain-Theoretic Account of Picard's Theorem
• New Computational Paradigms

Cited in

(8)

• Automata, Languages and Programming
• Polynomial-time solution of initial value problems using polynomial enclosures
• Domain-theoretic solution of differential equations (scalar fields)
• New Computational Paradigms
• Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
• A Domain-Theoretic Account of Picard's Theorem
• A differential operator and weak topology for Lipschitz maps
• Denotational semantics of hybrid automata

This page was built for publication: Domain theoretic solutions of initial value problems for unbounded vector fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852369)