Pages that link to "Item:Q2989081"
From MaRDI portal
The following pages link to Certification of bounds on expressions involving rounded operators (Q2989081):
Displaying 11 items.
- Gappa (Q17037) (← links)
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program (Q352952) (← links)
- Polynomial function intervals for floating-point software verification (Q457251) (← links)
- Rigorous roundoff error analysis of probabilistic floating-point computations (Q832297) (← links)
- Computer-assisted verification of four interval arithmetic operators (Q2175842) (← links)
- Runtime abstract interpretation for numerical accuracy and robustness (Q2234076) (← links)
- An approximation framework for solvers and decision procedures (Q2362497) (← links)
- Trusting computations: a mechanized proof from partial differential equations to actual program (Q2398899) (← links)
- A Why3 proof of GMP algorithms (Q5130751) (← links)
- Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (Q5206960) (← links)
- Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)