Variation of geometries based on a geometric-reasoning method
From MaRDI portal
Publication:1110246
DOI10.1016/0010-4485(88)90019-XzbMath0656.65017OpenAlexW2042045727MaRDI 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 computationrule-based systemsymbolic manipulationcontrol strategygeometric modelsinferencing
Symbolic computation and algebraic computation (68W30) Algorithms for approximation of functions (65D15) Descriptive geometry (51N05)
Related Items (9)
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems ⋮ Solving interval constraints by linearization in computer-aided design ⋮ Geometric construction by assembling solved subfigures ⋮ Constraint-based design for 3D shapes ⋮ On the mechanization of straightedge and compass constructions ⋮ A systematic framework for solving geometric constraints analytically ⋮ A formalization of geometric constraint systems and their decomposition ⋮ A parametric mapping method for curve shape optimization on 3D panel structures ⋮ DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY
This page was built for publication: Variation of geometries based on a geometric-reasoning method