Pages that link to "Item:Q3644736"
From MaRDI portal
The following pages link to Polynomial Precise Interval Analysis Revisited (Q3644736):
Displaying 8 items.
- Ultra-arithmetic. II: Intervals of polynomials (Q1636021) (← links)
- A class of polynomially solvable range constraints for interval analysis without widenings (Q2575737) (← links)
- Static analysis by abstract interpretation: a mathematical programming approach (Q2814107) (← links)
- Improving Strategies via SMT Solving (Q3000582) (← links)
- Damping margins of interval polynomials (Q3484726) (← links)
- Computing Game Values for Crash Games (Q3510795) (← links)
- (Q4851649) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308413) (← links)