The following pages link to Pierre Weis (Q352951):
Displaying 4 items.
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program (Q352952) (← links)
- Trusting computations: a mechanized proof from partial differential equations to actual program (Q2398899) (← links)
- Formal Proof of a Wave Equation Resolution Scheme: The Method Error (Q5747647) (← links)
- On the Implementation of Construction Functions for Non-free Concrete Data Types (Q5756491) (← links)
