Pages that link to "Item:Q461203"
From MaRDI portal
The following pages link to Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203):
Displaying 11 items.
- Fixed points of a destabilized Kuramoto-Sivashinsky equation (Q669365) (← links)
- A construction of two different solutions to an elliptic system (Q1635604) (← links)
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← 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)
- Rigorous numerics for nonlinear heat equations in the complex plane of time (Q2149062) (← links)
- Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← links)
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← 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)
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model (Q4571153) (← links)
