Interrogating witnesses for geometric constraint solving

DOI10.1016/j.ic.2011.09.006zbMath1247.68309OpenAlexW2035491704MaRDI QIDQ714618

Sebti Foufou, Dominique Michelucci

Publication date: 11 October 2012

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2011.09.006

zbMATH Keywords

geometric constraintsconstraint solvingconstraint decompositiondependent and independent constraintsinfinitesimal motionswitness configuration

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Related Items (4)

Towards a better integration of modelers and black box constraint solvers within the product design process ⋮ A robust and efficient method for solving point distance problems by homotopy ⋮ Constructing a Tetrahedron with Prescribed Heights and Widths ⋮ Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry

Cites Work

• Geometric constraint solving: the witness configuration method
• Geometric constraint solver
• Realization spaces of polytopes
• CONSTRAINTS ON SIMPLE GEOMETRY IN TWO AND THREE DIMENSIONS
• DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY
• Fast Probabilistic Algorithms for Verification of Polynomial Identities
• Conditions for Unique Graph Realizations
• Decomposition plans for geometric constraint systems. I: Performance measures for CAD
• Decomposition plans for geometric constraint problems. II: New algorithms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interrogating witnesses for geometric constraint solving