Jean-Philippe Lessard

43 papers A 1Journal 42

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Computer-Assisted Proofs of Gap Solitons in Bose-Einstein Condensates. J. Nonlinear Sci. Miguel Ayala, Carlos García-Azpeitia, Jean-Philippe Lessard
2025	J	`jnl`	A Rigorous Integrator and Global Existence for Higher-Dimensional Semilinear Parabolic PDEs via Semigroup Theory. J. Sci. Comput. Gabriel William Duchesne, Jean-Philippe Lessard, Akitoshi Takayasu
2025	J	`jnl`	From heteroclinic loops to homoclinic snaking in reversible systems: rigorous forcing through computer-assisted proofs. CoRR Jan Bouwe van den Berg, Gabriel William Duchesne, Jean-Philippe Lessard
2025	J	`jnl`	Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs. Commun. Nonlinear Sci. Numer. Simul. Matthieu Cadiot, Jonathan Jaquette, Jean-Philippe Lessard, Akitoshi Takayasu
2024	J	`jnl`	A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory. CoRR Gabriel William Duchesne, Jean-Philippe Lessard, Akitoshi Takayasu
2024	J	`jnl`	Rigorous Computation of Solutions of Semilinear PDEs on Unbounded Domains via Spectral Methods. SIAM J. Appl. Dyn. Syst. Matthieu Cadiot, Jean-Philippe Lessard, Jean-Christophe Nave
2024	J	`jnl`	Toward Computational Morse-Floer Homology: Forcing Results for Connecting Orbits by Computing Relative Indices of Critical Points. Found. Comput. Math. Jan Bouwe van den Berg, Marcio Gameiro, Jean-Philippe Lessard, Rob Van der Vorst
2024	J	`jnl`	Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs. CoRR Matthieu Cadiot, Jonathan Jaquette, Jean-Philippe Lessard, Akitoshi Takayasu
2023	J	`jnl`	Numerical Computation of Transverse Homoclinic Orbits for Periodic Solutions of Delay Differential Equations. SIAM J. Appl. Dyn. Syst. Olivier Hénot, Jean-Philippe Lessard, Jason D. Mireles-James
2023	J	`jnl`	Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs. SIAM J. Appl. Dyn. Syst. Joan Gimeno, Jean-Philippe Lessard, Jason D. Mireles-James, Jiaqi Yang
2023	J	`jnl`	Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature. J. Nonlinear Sci. Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu
2023	A	`conf`	Worrisome Properties of Neural Network Controllers and Their Symbolic Representations. ECAI Jacek Cyranka, Kevin E. M. Church, Jean-Philippe Lessard
2023	J	`jnl`	Worrisome Properties of Neural Network Controllers and Their Symbolic Representations. CoRR Jacek Cyranka, Kevin E. M. Church, Jean-Philippe Lessard
2022	J	`jnl`	Correction to: Rigorous numerics for nonlinear heat equations in the complex plane of time. Numerische Mathematik Akitoshi Takayasu, Jean-Philippe Lessard, Jonathan Jaquette, Hisashi Okamoto
2022	J	`jnl`	Rigorous numerics for nonlinear heat equations in the complex plane of time. Numerische Mathematik Akitoshi Takayasu, Jean-Philippe Lessard, Jonathan Jaquette, Hisashi Okamoto
2022	J	`jnl`	Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity. Commun. Nonlinear Sci. Numer. Simul. Jonathan Jaquette, Jean-Philippe Lessard, Akitoshi Takayasu
2022	J	`jnl`	Validated forward integration scheme for parabolic PDEs via Chebyshev series. Commun. Nonlinear Sci. Numer. Simul. Jacek Cyranka, Jean-Philippe Lessard
2021	J	`jnl`	A geometric characterization of unstable blow-up solutions with computer-assisted proof. CoRR Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu
2021	J	`jnl`	Microscopic Patterns in the 2D Phase-Field-Crystal Model. CoRR Gabriel Martine-La Boissoniere, Rustum Choksi, Jean-Philippe Lessard
2021	J	`jnl`	Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs. CoRR Joan Gimeno, Jean-Philippe Lessard, Jason D. Mireles-James, Jiaqi Yang
2021	J	`jnl`	Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation. SIAM J. Appl. Dyn. Syst. Jan Bouwe van den Berg, Jean-Philippe Lessard, Elena Queirolo
2021	J	`jnl`	Spontaneous Periodic Orbits in the Navier-Stokes Flow. J. Nonlinear Sci. Jan Bouwe van den Berg, Maxime Breden, Jean-Philippe Lessard, Lennaert van Veen
2021	J	`jnl`	Validated forward integration scheme for parabolic PDEs via Chebyshev series. CoRR Jacek Cyranka, Jean-Philippe Lessard
2020	J	`jnl`	Free Vibrations in a Wave Equation Modeling MEMS. SIAM J. Appl. Dyn. Syst. Carlos García-Azpeitia, Jean-Philippe Lessard
2020	J	`jnl`	Rigorous verification of Hopf bifurcations via desingularization and continuation. CoRR Jan Bouwe van den Berg, Jean-Philippe Lessard, Elena Queirolo
2020	J	`jnl`	Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption. J. Comput. Appl. Math. Yvonne Alama Bronsard, Jean-Philippe Lessard
2017	J	`jnl`	A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations. SIAM J. Appl. Dyn. Syst. Jordi-Lluís Figueras, Marcio Gameiro, Jean-Philippe Lessard, Rafael de la Llave
2017	J	`jnl`	A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto-Sivashinsky PDE. SIAM J. Appl. Dyn. Syst. Marcio Gameiro, Jean-Philippe Lessard
2017	J	`jnl`	Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity. SIAM J. Math. Anal. Jean-Philippe Lessard, Jason D. Mireles-James
2016	J	`jnl`	Computation of Smooth Manifolds Via Rigorous Multi-parameter Continuation in Infinite Dimensions. Found. Comput. Math. Marcio Gameiro, Jean-Philippe Lessard, Alessandro Pugliese
2016	J	`jnl`	Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach. Math. Comput. Allan Hungria, Jean-Philippe Lessard, Jason D. Mireles-James
2016	J	`jnl`	Rigorous numerics for piecewise-smooth systems: A functional analytic approach based on Chebyshev series. J. Comput. Appl. Math. Marcio Gameiro, Jean-Philippe Lessard, Yann Ricaud
2015	J	`jnl`	Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form. SIAM J. Appl. Dyn. Syst. Roberto Castelli, Jean-Philippe Lessard, Jason D. Mireles-James
2015	J	`jnl`	Stationary Coexistence of Hexagons and Rolls via Rigorous Computations. SIAM J. Appl. Dyn. Syst. Jan Bouwe van den Berg, Andréa Deschênes, Jean-Philippe Lessard, Jason D. Mireles-James
2014	J	`jnl`	Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series. SIAM J. Numer. Anal. Jean-Philippe Lessard, Christian Reinhardt
2013	J	`jnl`	Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates. SIAM J. Numer. Anal. Marcio Gameiro, Jean-Philippe Lessard
2013	J	`jnl`	Rigorous Numerics in Floquet Theory: Computing Stable and Unstable Bundles of Periodic Orbits. SIAM J. Appl. Dyn. Syst. Roberto Castelli, Jean-Philippe Lessard
2011	J	`jnl`	Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray-Scott Equation. SIAM J. Math. Anal. Jan Bouwe van den Berg, Jason D. Mireles-James, Jean-Philippe Lessard, Konstantin Mischaikow
2011	J	`jnl`	Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation. Numerische Mathematik Marcio Gameiro, Jean-Philippe Lessard
2010	J	`jnl`	Global smooth solution curves using rigorous branch following. Math. Comput. Jan Bouwe van den Berg, Jean-Philippe Lessard, Konstantin Mischaikow
2008	J	`jnl`	Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift-Hohenberg Equation. SIAM J. Appl. Dyn. Syst. Jan Bouwe van den Berg, Jean-Philippe Lessard
2008	J	`jnl`	Validated continuation over large parameter ranges for equilibria of PDEs. Math. Comput. Simul. Marcio Gameiro, Jean-Philippe Lessard, Konstantin Mischaikow
2007	J	`jnl`	Validated Continuation for Equilibria of PDEs. SIAM J. Numer. Anal. Sarah Day, Jean-Philippe Lessard, Konstantin Mischaikow