Variation of geometries based on a geometric-reasoning method
From MaRDI portal
Publication:1110246
DOI10.1016/0010-4485(88)90019-XzbMath0656.65017MaRDI QIDQ1110246
Publication date: 1988
Published in: CAD. Computer-Aided Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0010-4485(88)90019-x
symbolic computation; rule-based system; symbolic manipulation; control strategy; geometric models; inferencing
68W30: Symbolic computation and algebraic computation
65D15: Algorithms for approximation of functions
51N05: Descriptive geometry
Related Items
A systematic framework for solving geometric constraints analytically, Solving interval constraints by linearization in computer-aided design, A formalization of geometric constraint systems and their decomposition, Geometric construction by assembling solved subfigures, Constraint-based design for 3D shapes, On the mechanization of straightedge and compass constructions, A parametric mapping method for curve shape optimization on 3D panel structures, DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY, Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems