A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton–Picard Method - Bréhard, Florent (Mathematics in computer science, 2021)
Keywords: A posteriori validation; Algorithms; Approximation; Chebyshev approximation; Chebyshev spectral methods; Complexity; Computer Science; D-finite functions; Differential equations; Galerkin method; Kernels; Linear differential equations; Mathematics; Mathematics and Statistics; Numerical Analysis; Operators (mathematics); Ordinary differential equations; Polynomials; Spectral methods; Symbolic Computation; Validated numerics; A posteriori validation; Chebyshev spectral methods; 65G20; 65L70; 65L60; D-finite functions; 65Y20; Linear differential equations; Validated numerics; validated numerics; a posteriori validation; linear differential equations