Pages that link to "Item:Q968304"
From MaRDI portal
The following pages link to A formalization of geometric constraint systems and their decomposition (Q968304):
Displaying 9 items.
- Using invariance under the similarity group to solve geometric constraint systems (Q628158) (← links)
- Sketch-based pruning of a solution space within a formal geometric constraint solver (Q1589579) (← links)
- Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints (Q1595928) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm (Q2360828) (← links)
- (Q3424928) (← links)
- (Q4386951) (← links)
- Automated Deduction in Geometry (Q5902025) (← links)
- Decomposition plans for geometric constraint problems. II: New algorithms (Q5933500) (← links)