Pages that link to "Item:Q5280635"
From MaRDI portal
The following pages link to Certifying the Floating-Point Implementation of an Elementary Function Using Gappa (Q5280635):
Displayed 9 items.
- Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems (Q287269) (← links)
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program (Q352952) (← links)
- Formal analysis of the compact position reporting algorithm (Q1996426) (← links)
- A formally verified floating-point implementation of the compact position reporting algorithm (Q2024357) (← links)
- A two-phase approach for conditional floating-point verification (Q2233493) (← links)
- Formalization of Bernstein polynomials and applications to global optimization (Q2351165) (← links)
- Trusting computations: a mechanized proof from partial differential equations to actual program (Q2398899) (← links)
- Fast and correctly rounded logarithms in double-precision (Q5444104) (← links)
- Floating-point arithmetic (Q6047500) (← links)