Pages that link to "Item:Q4930725"
From MaRDI portal
The following pages link to Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables (Q4930725):
Displaying 3 items.
- Deciding floating-point logic with abstract conflict driven clause learning (Q479837) (← links)
- A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains (Q2057959) (← links)
- Transformation of a PID controller for numerical accuracy (Q2520677) (← links)
