Pages that link to "Item:Q4568286"
From MaRDI portal
The following pages link to Numerical verification for solutions to partial differential equations (Q4568286):
Displaying 11 items.
- Accuracy verification methods. Theory and algorithms (Q383729) (← links)
- Numerical verification of solutions for variational inequalities (Q1277004) (← links)
- The problem of checking and correction of numerical results for differential equations, and methods for its solution (Q1395210) (← links)
- Numerical verification of solutions for a simplified Signorini problem (Q1591946) (← links)
- Numerical validation for systems of absolute value equations (Q1675421) (← links)
- Numerical verification of solutions of Nekrasov's integral equation (Q2487205) (← links)
- Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration (Q2917687) (← links)
- (Q3408955) (← links)
- Numerical Verification of the Hasselmann equation (Q5248656) (← links)
- (Q5265760) (← links)
- Verification of a Numerical Solution to a Collocation Problem (Q6065584) (← links)