The following pages link to (Q4312456):
Displaying 8 items.
- Interval propagation and search on directed acyclic graphs for numerical constraint solving (Q1041436) (← links)
- Constraint reasoning based on interval arithmetic: The tolerance propagation approach (Q1204867) (← links)
- Mechanising the theory of intervals using OBJ3 (Q1916976) (← links)
- (Q3536361) (← links)
- (Q4424285) (← links)
- Analytic constraint solving and interval arithmetic (Q5178863) (← links)
- Numerical Software with Result Verification (Q5308360) (← links)
- (Q6040907) (← links)