**Olivier Hénot**

McGill University, Department of Mathematics and Statistics

RadiiPolynomial is an open source software, written in Julia, for computer-assisted proofs in dynamical systems.

- J. B. van den Berg, O. Hénot and J.-P. Lessard, Constructive proofs for localized radial solutions of semilinear elliptic systems on $\mathbb{R}^d$, submitted (2022).
- K. E. M. Church, O. Hénot, P. Lappicy, J.-P. Lessard and H. Sprink, Periodic orbits in Hořava-Lifshitz cosmologies,
*General Relativity and Gravitation*,**55**(2022). -
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*,**34**(2022), 1285–1324. -
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.