On Spatial Constraint Solving Approaches

Authors:
Christoph M. Hoffmann;Bo Yuan
Affiliations:
-;-
Venue:
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Year:
2000

Citing 4
Cited 2

A homotopy for solving general polynomial systems that respects m-homogenous structures

Applied Mathematics and Computation
A graph-constructive approach to solving systems of geometric constraints

ACM Transactions on Graphics (TOG)
A systematic framework for solving geometric constraints analytically

Journal of Symbolic Computation
Symbolic and numerical techniques for constraint solving

Symbolic and numerical techniques for constraint solving

Computing parameter ranges in constructive geometric constraint solving: Implementation and correctness proof

Computer-Aided Design
Interrogating witnesses for geometric constraint solving

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Simultaneous spatial constraint problems can be approached algebraically, geometrically, or constructively. We examine how each approach performs, using several example problems, especially constraint problems involving lines. We also prove that there are at most 12 real tangents to four given spheres in R3.