Pages that link to "Item:Q718434"
From MaRDI portal
The following pages link to A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition (Q718434):
Displaying 6 items.
- A posteriori error bounds for two point boundary value problems: a Green's function approach (Q317173) (← links)
- A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity (Q421136) (← links)
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
- Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
- A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem (Q3145991) (← links)
- Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems (Q5126109) (← links)