Variation of geometrics based on a geometric-reasoning method

By B. Aldefeld. 1988

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Structured agents for physical construction (2019, background): “…logic research (Chou, 1987; Arnon, 1988), leading to geometric theorem-provers (Bouma et al., 1995), rule-based geometric constraint solvers for computer-aided de-sign (Aldefeld, 1988; Schreck et al., 2012), and logic-based optimization for open-ended objectives in robotics (Tou-ssaint, 2015).”
A Geometric Constraint Solver (1995, methodology): “A similar method is presented in [52], where handlin/!”
Geometric Construction Problem Solving in Computer-Aided Learning (2012, methodology): “Apart from few exceptions [1], [7], all constructive methods for solving geometric constraints in CAD are based on a graph representation of the constraint system where the vertexes correspond to the objects to be found and the edges correspond to the constraints.”