McGill University, Department of Mathematics and Statistics
RadiiPolynomial.jl is a Julia package for computer-assisted proofs in dynamical systems.
O. Hénot, J.-P. Lessard and J. D. Mireles James, Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds, Journal of Dynamics and Differential Equations (2021).
O. Hénot, On polynomial forms of nonlinear functional differential equations, Journal of Computational Dynamics, 8 (2021), 307-323.
O. Hénot and C. Rousseau, Spiderweb central configurations, Qualitative Theory of Dynamical Systems, 18 (2019), 1135–1160.