High-Order Lohner-Type Algorithm for Rigorous Computation of Poincaré Maps in Systems of Delay Differential Equations with Several Delays - Szczelina, Robert; Zgliczyński, Piotr (Foundations of computational mathematics, 2024)
Keywords: Algorithms; Applications of Mathematics; Chaos theory; Computation; Computer Science; Delay; Differential equations; Economics; Linear and Multilinear Algebras; Math Applications in Computer Science; Mathematics; Mathematics and Statistics; Matrix Theory; Numerical Analysis; Orbits; Poincare maps; Symbolic dynamics; Periodic orbits; Fixed-point index; 65Q20; Covering relations; 65G20; 34K38; Computer-assisted proofs; 34K13; Infinite-dimensional phase space; 34K23