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