Pages that link to "Item:Q1128611"
From MaRDI portal
The following pages link to Geometric construction by assembling solved subfigures (Q1128611):
Displaying 8 items.
- A formalization of geometric constraint systems and their decomposition (Q968304) (← links)
- Sketch-based pruning of a solution space within a formal geometric constraint solver (Q1589579) (← links)
- On the mechanization of straightedge and compass constructions (Q1730306) (← links)
- Towards a better integration of modelers and black box constraint solvers within the product design process (Q2631961) (← links)
- DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY (Q3422212) (← links)
- GEOMETRICAL CONSTRAINT SYSTEM DECOMPOSITION: A MULTI-GROUP APPROACH (Q3422214) (← links)
- WELL-CONSTRAINED COMPLETION AND DECOMPOSITION FOR UNDER-CONSTRAINED GEOMETRIC CONSTRAINT PROBLEMS (Q3422216) (← links)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)