Pages that link to "Item:Q2398899"
From MaRDI portal
The following pages link to Trusting computations: a mechanized proof from partial differential equations to actual program (Q2398899):
Displaying 10 items.
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program (Q352952) (← links)
- Event-B refinement for continuous behaviours approximation (Q2147212) (← links)
- A Coq formalization of Lebesgue integration of nonnegative functions (Q2673304) (← links)
- Affine Arithmetic and Applications to Real-Number Proving (Q2945641) (← links)
- A new finite difference scheme for high-dimensional heat equation (Q5052148) (← links)
- On the Coalgebra of Partial Differential Equations (Q5092383) (← links)
- Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems (Q5321691) (← links)
- Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B (Q5881449) (← links)
- Automatic pre- and postconditions for partial differential equations (Q5925548) (← links)
- Rounding error analysis of linear recurrences using generating series (Q6163326) (← links)
