The following pages link to (Q3139684):
Displaying 5 items.
- PASCAL-XSC (Q30694) (← links)
- A software interface and hardware design for variable-precision interval arithmetic (Q1904320) (← links)
- Mechanising the theory of intervals using OBJ3 (Q1916976) (← links)
- Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers (Q1924483) (← links)
- (Q4692484) (← links)