Pages that link to "Item:Q2024356"
From MaRDI portal
The following pages link to Combining tools for optimization and analysis of floating-point computations (Q2024356):
Displaying 6 items.
- New tools for localization of limit cycles in recursive block floating point systems (Q1274503) (← links)
- Combining tools for optimization and analysis of floating-point computations (Q2024356) (← links)
- Optimization modulo the theory of floating-point numbers (Q2305439) (← links)
- Optimizing floating point operations in Scheme (Q4951520) (← links)
- Stability Analysis of Inline ZFP Compression for Floating-Point Data in Iterative Methods (Q5131978) (← links)
- Model checking linear dynamical systems under floating-point rounding (Q6535340) (← links)