Pages that link to "Item:Q5206960"

The following pages link to Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (Q5206960):

Displaying 10 items.

• Rigorous error analysis of numerical algorithms via symbolic computations (Q674759) (← links)
• 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)
• (Q4021777) (← links)
• Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (Q5206960) (← links)
• Algorithm 1029: encapsulated error, a direct approach to evaluate floating-point accuracy (Q6599992) (← links)