The following pages link to (Q4386951):
Displaying 4 items.
- A symbolic-interval inference approach for constraint satisfaction: implementation on kinematics applications (Q991853) (← links)
- Sketch-based pruning of a solution space within a formal geometric constraint solver (Q1589579) (← links)
- A subdivision algorithm to reason on high-degree polynomial constraints over finite domains (Q2294575) (← links)
- Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning (Q2870147) (← links)