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):
Displaying 11 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)
- Provably correct floating-point implementation of a point-in-polygon algorithm (Q6535939) (← links)
- Algorithm 1029: encapsulated error, a direct approach to evaluate floating-point accuracy (Q6599992) (← links)