Pages that link to "Item:Q714617"
From MaRDI portal
The following pages link to Floating-point arithmetic in the Coq system (Q714617):
Displaying 6 items.
- Proving tight bounds on univariate expressions with elementary functions in Coq (Q331615) (← links)
- Deciding floating-point logic with abstract conflict driven clause learning (Q479837) (← links)
- An approximation framework for solvers and decision procedures (Q2362497) (← links)
- Formal Proofs for Nonlinear Optimization (Q5195260) (← links)
- Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (Q5206960) (← links)
- Finding normal binary floating-point factors efficiently (Q6156639) (← links)
