Variation of geometries based on a geometric-reasoning method

DOI10.1016/0010-4485(88)90019-XzbMath0656.65017OpenAlexW2042045727MaRDI QIDQ1110246

B. Aldefeld

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

zbMATH Keywords

symbolic computationrule-based systemsymbolic manipulationcontrol strategygeometric modelsinferencing

Mathematics Subject Classification ID

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