Pages that link to "Item:Q647561"
From MaRDI portal
The following pages link to Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs (Q647561):
Displayed 24 items.
- Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations (Q306244) (← links)
- Numerical validation of blow-up solutions of ordinary differential equations (Q345956) (← links)
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203) (← links)
- Fixed points of a destabilized Kuramoto-Sivashinsky equation (Q669365) (← links)
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line (Q778220) (← links)
- Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model (Q785373) (← links)
- Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation (Q1620885) (← links)
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (Q1704118) (← links)
- Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
- A general method for computer-assisted proofs of periodic solutions in delay differential problems (Q2134120) (← links)
- Constructive error estimates for full discrete approximation of periodic solution for heat equation (Q2291992) (← links)
- Rigorous numerical verification of uniqueness and smoothness in a surface growth model (Q2345484) (← links)
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
- Families of Periodic Solutions for Some Hamiltonian PDEs (Q2960071) (← links)
- Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141) (← links)
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
- Numerical verification for solutions to partial differential equations (Q4568286) (← links)
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model (Q4571153) (← links)
- Rigorous FEM for One-Dimensional Burgers Equation (Q5004526) (← links)
- Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof (Q5249807) (← links)
- Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation (Q5266353) (← links)
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
- A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory (Q5347528) (← links)
- A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE (Q5739157) (← links)