Pages that link to "Item:Q2013318"
From MaRDI portal
The following pages link to Formal proofs of rounding error bounds. With application to an automatic positive definiteness check (Q2013318):
Displaying 5 items.
- Computer-assisted verification of four interval arithmetic operators (Q2175842) (← links)
- Primitive Floats in Coq (Q5875413) (← links)
- Validating numerical semidefinite programming solvers for polynomial invariants (Q5916266) (← links)
- Enabling floating-point arithmetic in the Coq proof assistant (Q6053846) (← links)
- Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)
