Jean-Philippe Lessard

Rigorously verified computing, infinite dimensional dynamical systems, partial differential equations, delay differential equations, ordinary differential equations, topological methods, fixed point methods, functional analytic methods, approximation theory, spectral methods, computer-assisted proofs, bifurcation theory, invariant manifolds, Morse-Conley-Floer homology.

[82] Platonic constellations of periodic motions in the (n+1)- body problem Preprint K. Constantineau, C. García-Azpeitia and J.-P. Lessard Preprint, 2026 arXiv:2609.10242 [81] Rigorous Validation of Cusp Bifurcations of Stationary Periodic Patterns in Partial Differential Equations Preprint D. Blanco and J.-P. Lessard Preprint, 2026 arXiv:2608.15613 [80] Spatially inhomogeneous two-cycles in an integrodifference equation To appear K. Church, K. Constantineau and J.-P. Lessard To appear in SIAM Journal on Applied Dynamical Systems, 2026 arXiv:2510.21134 Codes on GitHub [79] From the Lagrange Triangle to the Figure Eight Choreography: Proof of Marchal’s Conjecture To appear R. Calleja, C. García-Azpeitia, O. Hénot, J.-P. Lessard and J.D. Mireles James To appear in the Transactions of the Am