Time Complexity and Convergence Analysis of Domain Theoretic Picard Method

DOI10.1007/978-3-540-69937-8_14MaRDI QIDQ3511455zbMATH OpenOpenAlexFDO

Authors Amin Farjudian, Michal Konečný

Publication date 10 July 2008

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://publications.aston.ac.uk/id/eprint/16392/1/wollic08_1_.pdf

Mathematics Subject Classification ID

Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations (34A12) Numerical methods for initial value problems involving ordinary differential equations (65L05) Complexity and performance of numerical algorithms (65Y20)

Recommendations

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

Cites work

• Accuracy and Stability of Numerical Algorithms
• Automata, Languages and Programming
• Domain theoretic solutions of initial value problems for unbounded vector fields
• scientific article; zbMATH DE number 1746043 (Why is no real title available?)
• RealLib: An efficient implementation of exact real arithmetic
• Time Complexity and Convergence Analysis of Domain Theoretic Picard Method

Cited in

(8)

• Domain theoretic second-order Euler's method for solving initial value problems
• Time-explicit Darwin PIC algorithm
• Polynomial-time solution of initial value problems using polynomial enclosures
• A Domain-Theoretic Account of Picard's Theorem
• Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
• Automata, Languages and Programming
• Recursive solution of initial value problems with temporal discretization
• Continuous domains for function spaces using spectral compactification

Describes a project that uses

Uses Software

• RealLib
• iRRAM
• VNODE

This page was built for publication: Time Complexity and Convergence Analysis of Domain Theoretic Picard Method

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