Pages that link to "Item:Q2917687"
From MaRDI portal
The following pages link to Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration (Q2917687):
Displaying 4 items.
- A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator (Q2217873) (← links)
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
- (Q4851600) (← links)
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)