Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method

DOI10.1007/978-3-540-77356-6_7zbMath1195.68107OpenAlexW1498073103MaRDI QIDQ5453487

Dominique Michelucci, Sebti Foufou

Publication date: 1 April 2008

Published in: Automated Deduction in Geometry (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-77356-6_7

Mathematics Subject Classification ID

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

Related Items

Algorithms for detecting dependencies and rigid subsystems for CAD

Cites Work

• Geometric constraint solving: the witness configuration method
• Realization spaces of polytopes
• CONSTRAINTS ON SIMPLE GEOMETRY IN TWO AND THREE DIMENSIONS
• DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY
• On Generic Rigidity in the Plane
• Conditions for Unique Graph Realizations
• Automated Deduction in Geometry
• 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
• Unnamed Item