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

DOI10.1007/978-3-540-77356-6_7MaRDI QIDQ5453487zbMATH OpenOpenAlexFDO

Authors 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 graphics; computational geometry (digital and algorithmic aspects) (68U05) Computer science aspects of computer-aided design (68U07)

Recommendations

• Interrogating witnesses for geometric constraint solving
• Geometric constraint solving: the witness configuration method
• Algorithms for detecting dependencies and rigid subsystems for CAD
• DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY
• A formalization of geometric constraint systems and their decomposition

Cites work

• scientific article; zbMATH DE number 4024134 (Why is no real title available?)
• scientific article; zbMATH DE number 1261014 (Why is no real title available?)
• scientific article; zbMATH DE number 1297631 (Why is no real title available?)
• scientific article; zbMATH DE number 501471 (Why is no real title available?)
• scientific article; zbMATH DE number 2188749 (Why is no real title available?)
• scientific article; zbMATH DE number 967945 (Why is no real title available?)
• Automated Deduction in Geometry
• CONSTRAINTS ON SIMPLE GEOMETRY IN TWO AND THREE DIMENSIONS
• Combinatorial approaches to geometrie constraint solving: problems, progress, and directions
• Conditions for Unique Graph Realizations
• DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY
• Decomposition plans for geometric constraint problems. II: New algorithms
• Decomposition plans for geometric constraint systems. I: Performance measures for CAD
• Geometric constraint solving: the witness configuration method
• On Generic Rigidity in the Plane
• Realization spaces of polytopes

Cited in

(3)

• Interrogating witnesses for geometric constraint solving
• Algorithms for detecting dependencies and rigid subsystems for CAD
• Geometric constraint solving: the witness configuration method

This page was built for publication: Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5453487)