RadiiPolynomial

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

Publications

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.