Pages that link to "Item:Q5206960"
From MaRDI portal
The following pages link to Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (Q5206960):
Displaying 7 items.
- Rigorous roundoff error analysis of probabilistic floating-point computations (Q832297) (← links)
- Combining tools for optimization and analysis of floating-point computations (Q2024356) (← links)
- A two-phase approach for conditional floating-point verification (Q2233493) (← links)
- Deductive verification of floating-point Java programs in KeY (Q2233510) (← links)
- Counterexample- and simulation-guided floating-point loop invariant synthesis (Q2233532) (← links)
- Runtime abstract interpretation for numerical accuracy and robustness (Q2234076) (← links)
- Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (Q5206960) (← links)
