Domain theoretic solutions of initial value problems for unbounded vector fields

zbMATH Open1273.65097MaRDI QIDQ2852369FDOQ2852369

Authors: Dirk Pattinson, Abbas Edalat 

Publication date: 8 October 2013

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

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

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)

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)