Pages that link to "Item:Q1110246"
From MaRDI portal
The following pages link to Variation of geometries based on a geometric-reasoning method (Q1110246):
Displaying 13 items.
- Solving interval constraints by linearization in computer-aided design (Q868685) (← links)
- A formalization of geometric constraint systems and their decomposition (Q968304) (← links)
- Geometric construction by assembling solved subfigures (Q1128611) (← links)
- An approach to computer-aided parametric design (Q1178299) (← links)
- Algebraic method for manipulation of dimensional relationships in geometric models (Q1186449) (← links)
- Constraint-based design for 3D shapes (Q1392092) (← links)
- On the mechanization of straightedge and compass constructions (Q1730306) (← links)
- Variance on topics of plane geometry (Q2856605) (← links)
- A parametric mapping method for curve shape optimization on 3D panel structures (Q3062586) (← links)
- DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY (Q3422212) (← links)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)
- (Q4531858) (← links)
- A systematic framework for solving geometric constraints analytically (Q5926297) (← links)