Letture consigliate
J.B. van den Berg and J.-P. Lessard. Rigorous numerics in dynamics, Notices of the AMS, 62(9): 1057–1061, 2015.
M. Breden. Computer-assisted proofs for differential equations and dynamical systems, Institut Polytechnique de Paris, 2025.
D. Breda. Pseudospectral methods for the stability analysis of delay equations. Part I: The infinitesimal generator approach, in D. Breda (Ed.), Controlling Delayed Dynamics: Advances in Theory, Methods and Applications, CISM Lecture Notes (pp. 65–94). Wien-New York: Springer, 2023.
J. Gómez-Serrano. Computer-assisted proofs in PDE: a survey. SeMA J. 76(3): 459–484, 2019.
O. Hénot. RadiiPolynomial.jl, https://github.com/OlivierHnt/RadiiPolynomial.jl, 2021.
J.-P. Lessard. Continuation of solutions and studying delay differential equations via rigorous numerics, in Rigorous numerics in dynamics, 81–122, Proc. Sympos. Appl. Math., 74, Amer. Math. Soc., Providence, RI, 2018.
J.-P. Lessard and J.D. Mireles James. A rigorous implicit C^1 Chebyshev integrator for delay equations. J. Dyn. Differ. Equ., 33(4): 1959–1988, 2021.
M.T. Nakao, M. Plum and Y. Watanabe. Numerical verification methods and computer-assisted proofs for partial differential equations, Springer Ser. Comput. Math., 53, Springer, Singapore, 2019.
W. Tucker. Validated numerics. A short introduction to rigorous computations. Princeton University Press, Princeton, NJ, 2011.