Recursive solution of initial value problems with temporal discretization

DOI10.1016/j.tcs.2023.114221arXiv2301.03920MaRDI QIDQ6069850

Abbas Edalat, Amin Farjudian, Yiran Li

Publication date: 17 November 2023

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2301.03920

zbMATH Keywords

interval analysisRunge-Kutta methodEuler methoddomain theoryLipschitz vector field

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algorithm for addressing the real interval eigenvalue problem
• Interval versions of central-difference method for solving the Poisson equation in proper and directed interval arithmetic
• Effectively given domains
• A domain-theoretic approach to computability on the real line
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• The way-below relation of function spaces over semantic domains
• PCF extended with real numbers
• Interval analysis: Theory and applications
• An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
• Arbitrary precision real arithmetic: design and algorithms
• Safe \& robust reachability analysis of hybrid systems
• Integration in Real PCF
• Dynamical systems, measures, and fractals via domain theory
• Real number computability and domain theory
• A computational model for multi-variable differential calculus
• Domain theoretic second-order Euler's method for solving initial value problems
• On recurrences converging to the wrong limit in finite precision and some new examples
• Addendum to: ``On recurrences converging to the wrong limit in finite precision and some new examples
• Modified error bounds for approximate solutions of dense linear systems
• A domain-theoretic approach to Brownian motion and general continuous stochastic processes
• Motivations for an arbitrary precision interval arithmetic and the MPFI library
• SHRAD: A language for sequential real number computation
• Denotational semantics of hybrid automata
• Clarke's generalized gradient and Edalat's L-derivative
• A Domain-Theoretic Account of Picard's Theorem
• Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
• A First Course in the Numerical Analysis of Differential Equations
• Introduction to Interval Analysis
• Almost Globally Convergent Interval Methods for Discretizations of Nonlinear Elliptic Partial Differential Equations
• Safe Starting Regions for Iterative Methods
• Can programming be liberated from the von Neumann style?
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• Domain theory and differential calculus (functions of one variable)
• Accuracy and Stability of Numerical Algorithms
• Continuous Lattices and Domains
• A Multivariate Faa di Bruno Formula with Applications
• A Language for Differentiable Functions
• Non-Hausdorff Topology and Domain Theory
• Smooth Approximation of Lipschitz Maps and Their Subgradients
• On the topological product of paracompact spaces
• On the Uniqueness of Solutions of a System of Ordinary Differential Equations
• System analysis and robustness

This page was built for publication: Recursive solution of initial value problems with temporal discretization