CRM CAMP in Nonlinear Analysis - Computer-Assisted Methods of Proof

Computer-assisted proofs for renormalisation fixed-points and eigenfunctions for period-doubling...
Combinatorial Topological Dynamics
Chaos in the Chua's circuit
OPEN PROBLEMS SERIES: Some conjectures that seem difficult to prove
Encounters with Computer-Assisted Proofs in Early Days
A computer assisted proof of Wright's conjecture: counting and discounting slowly oscillating per...
Bifurcation Points in the Ohta-Kawasaki Model
Rigorous numerics of blow-up solutions for autonomous ODEs
A computer assisted counterexample to Payne’s nodal line conjecture with few holes
Non-uniqueness and error bounds for fluid flow
Existence of traveling wave solutions for the Diffusion Poisson Coupled Model...
Relative equilibria for the n-body problem
Computer-assisted proofs for Cauchy problems of delay equations and PDEs via Chebyshev series
Rigorous FEM based forward in time integration of dissipative PDEs
Computer assisted existence proof of complicated dynamics in forced delay action oscillator...
KAM (computer-assisted) results in Celestial Mechanics: the dissipative spin-orbit problem
Boundary value problems and transversality in conservative systems: computer assisted proofs...
Beyond Exponential Complexity of Newton-Galerkin Validation Methods...
Wherefore computer assisted proofs in dynamics?
Periodic orbits in Rössler system
Golden mean renormalization for the almost Mathieu operator and related skew products
Interval methods with Julia: Finding one million roots in one second
Correct rounding for transcendental functions
A computer assisted proof of chaos in a delayed perturbation of chaotic ODE
A complete proof of the Feigenbaum conjectures
Rigorous computation of the unstable manifold for equilibria of delay differential equations
Periodic orbit for Brusselator system with diffusion
Parameterized invariant manifold and applications in celestial mechanics
Computer-assisted proofs for a nonlinear Laplace-Beltrami equation on the sphere
Computer-assisted proofs of two-dimensional attracting invariant tori for ODEs
Computer-assisted existence proofs for Navier-Stokes equations on an unbounded strip with obstacle
Computation of tight enclosures for Laplacian eigenvalues
Defect and front dynamics: analysis and computation
Symmetry breaking and Hopf bifurcations for the planar Navier-Stokes equation
Stable periodic orbits for the Mackey-Glass equation
Recent progress in proving stability of traveling waves in the 1D Navier-Stokes equations...
Stability and approximation of statistical limit laws
Equilibrium validation in models for pattern formation based on Sobolev embeddings
Rigorous computation of periodic solutions and Floquet multipliers in delay differential equations
Computer-assisted proofs for finding the monodromy of hypergeometric differential equations
A computer-assisted proof of Kazhdan’s property (T) for automorphism groups of free groups
Computing and validating collisions, ejections, and homoclinics for the three body problem
Validating Hopf bifurcations in the Kuramoto-Sivashinsky PDE
A proof of Noise Induced Order in the BZ map, and some remarks on the phenomenon
Computer assisted proofs of Arnold Diffusion
Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
Rigorously validated estimation of statistical properties of expanding maps
Torus knot choreographies in the N-body problem
Numerical investigation of chaos & stability of periodic orbits in the Kuramoto-Sivashinsky PDE
A modification of Schiffer's conjecture, and a proof via finite elements
Solution verification for the stationary Navier-Stokes equation over bounded non-convex 3D domains
Uniqueness of Whitham's highest cusped wave
Computer-assisted existence and multiplicity proofs for semilinear elliptic problems on domains
An overabundance of breathers in a nonlinear Schrödinger equation without gauge invariance
Stable periodic patterns in 3D for the Ohta-Kawasaki problem