Jean-Philippe Lessard

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 27

Top Topics

Symbolic Representation

Differential Equations

Mumford Shah Functional

Top Venues

SIAM J. Appl. Dyn. Syst.

J. Comput. Appl. Math.

J. Nonlinear Sci.

Publications

Gabriel William Duchesne, Jean-Philippe Lessard, Akitoshi Takayasu
A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory. CoRR (2024)
Jacek Cyranka, Kevin E. M. Church, Jean-Philippe Lessard
Worrisome Properties of Neural Network Controllers and Their Symbolic Representations. CoRR (2023)
Olivier Hénot, Jean-Philippe Lessard, Jason D. Mireles-James
Numerical Computation of Transverse Homoclinic Orbits for Periodic Solutions of Delay Differential Equations. SIAM J. Appl. Dyn. Syst. 22 (4) (2023)
Jacek Cyranka, Kevin E. M. Church, Jean-Philippe Lessard
Worrisome Properties of Neural Network Controllers and Their Symbolic Representations. ECAI (2023)
Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu
Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature. J. Nonlinear Sci. 33 (3) (2023)
Joan Gimeno, Jean-Philippe Lessard, Jason D. Mireles-James, Jiaqi Yang
Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs. SIAM J. Appl. Dyn. Syst. 22 (3) (2023)
Jonathan Jaquette, Jean-Philippe Lessard, Akitoshi Takayasu
Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity. Commun. Nonlinear Sci. Numer. Simul. 107 (2022)
Akitoshi Takayasu, Jean-Philippe Lessard, Jonathan Jaquette, Hisashi Okamoto
Correction to: Rigorous numerics for nonlinear heat equations in the complex plane of time. Numerische Mathematik 151 (3) (2022)
Akitoshi Takayasu, Jean-Philippe Lessard, Jonathan Jaquette, Hisashi Okamoto
Rigorous numerics for nonlinear heat equations in the complex plane of time. Numerische Mathematik 151 (3) (2022)
Jacek Cyranka, Jean-Philippe Lessard
Validated forward integration scheme for parabolic PDEs via Chebyshev series. Commun. Nonlinear Sci. Numer. Simul. 109 (2022)
Jan Bouwe van den Berg, Maxime Breden, Jean-Philippe Lessard, Lennaert van Veen
Spontaneous Periodic Orbits in the Navier-Stokes Flow. J. Nonlinear Sci. 31 (2) (2021)
Gabriel Martine-La Boissoniere, Rustum Choksi, Jean-Philippe Lessard
Microscopic Patterns in the 2D Phase-Field-Crystal Model. CoRR (2021)
Joan Gimeno, Jean-Philippe Lessard, Jason D. Mireles-James, Jiaqi Yang
Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs. CoRR (2021)
Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu
A geometric characterization of unstable blow-up solutions with computer-assisted proof. CoRR (2021)
Jacek Cyranka, Jean-Philippe Lessard
Validated forward integration scheme for parabolic PDEs via Chebyshev series. CoRR (2021)
Jan Bouwe van den Berg, Jean-Philippe Lessard, Elena Queirolo
Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation. SIAM J. Appl. Dyn. Syst. 20 (2) (2021)
Yvonne Alama Bronsard, Jean-Philippe Lessard
Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption. J. Comput. Appl. Math. 372 (2020)
Jan Bouwe van den Berg, Jean-Philippe Lessard, Elena Queirolo
Rigorous verification of Hopf bifurcations via desingularization and continuation. CoRR (2020)
Carlos García-Azpeitia, Jean-Philippe Lessard
Free Vibrations in a Wave Equation Modeling MEMS. SIAM J. Appl. Dyn. Syst. 19 (4) (2020)
Jordi-Lluís Figueras, Marcio Gameiro, Jean-Philippe Lessard, Rafael de la Llave
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations. SIAM J. Appl. Dyn. Syst. 16 (2) (2017)
Marcio Gameiro, Jean-Philippe Lessard
A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto-Sivashinsky PDE. SIAM J. Appl. Dyn. Syst. 16 (1) (2017)
Jean-Philippe Lessard, Jason D. Mireles-James
Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity. SIAM J. Math. Anal. 49 (1) (2017)
Marcio Gameiro, Jean-Philippe Lessard, Alessandro Pugliese
Computation of Smooth Manifolds Via Rigorous Multi-parameter Continuation in Infinite Dimensions. Found. Comput. Math. 16 (2) (2016)
Allan Hungria, Jean-Philippe Lessard, Jason D. Mireles-James
Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach. Math. Comput. 85 (299) (2016)
Marcio Gameiro, Jean-Philippe Lessard, Yann Ricaud
Rigorous numerics for piecewise-smooth systems: A functional analytic approach based on Chebyshev series. J. Comput. Appl. Math. 292 (2016)
Roberto Castelli, Jean-Philippe Lessard, Jason D. Mireles-James
Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form. SIAM J. Appl. Dyn. Syst. 14 (1) (2015)
Jan Bouwe van den Berg, Andréa Deschênes, Jean-Philippe Lessard, Jason D. Mireles-James
Stationary Coexistence of Hexagons and Rolls via Rigorous Computations. SIAM J. Appl. Dyn. Syst. 14 (2) (2015)
Jean-Philippe Lessard, Christian Reinhardt
Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series. SIAM J. Numer. Anal. 52 (1) (2014)
Roberto Castelli, Jean-Philippe Lessard
Rigorous Numerics in Floquet Theory: Computing Stable and Unstable Bundles of Periodic Orbits. SIAM J. Appl. Dyn. Syst. 12 (1) (2013)
Marcio Gameiro, Jean-Philippe Lessard
Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates. SIAM J. Numer. Anal. 51 (4) (2013)
Marcio Gameiro, Jean-Philippe Lessard
Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation. Numerische Mathematik 117 (4) (2011)
Jan Bouwe van den Berg, Jason D. Mireles-James, Jean-Philippe Lessard, Konstantin Mischaikow
Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray-Scott Equation. SIAM J. Math. Anal. 43 (4) (2011)
Jan Bouwe van den Berg, Jean-Philippe Lessard, Konstantin Mischaikow
Global smooth solution curves using rigorous branch following. Math. Comput. 79 (271) (2010)
Marcio Gameiro, Jean-Philippe Lessard, Konstantin Mischaikow
Validated continuation over large parameter ranges for equilibria of PDEs. Math. Comput. Simul. 79 (4) (2008)
Jan Bouwe van den Berg, Jean-Philippe Lessard
Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift-Hohenberg Equation. SIAM J. Appl. Dyn. Syst. 7 (3) (2008)
Sarah Day, Jean-Philippe Lessard, Konstantin Mischaikow
Validated Continuation for Equilibria of PDEs. SIAM J. Numer. Anal. 45 (4) (2007)