Pages that link to "Item:Q5747647"
From MaRDI portal
The following pages link to Formal Proof of a Wave Equation Resolution Scheme: The Method Error (Q5747647):
Displayed 9 items.
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program (Q352952) (← links)
- Iterative learning control for boundary tracking of uncertain nonlinear wave equations (Q1622216) (← links)
- Mostly automated formal verification of loop dependencies with applications to distributed stencil algorithms (Q1722642) (← links)
- Formal verification of numerical programs: from C annotated programs to mechanical proofs (Q1949765) (← links)
- Formal proofs of rounding error bounds. With application to an automatic positive definiteness check (Q2013318) (← links)
- Trusting computations: a mechanized proof from partial differential equations to actual program (Q2398899) (← links)
- Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms (Q2829257) (← links)
- Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)
- On the formalization of the heat conduction problem in HOL (Q6159364) (← links)