Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method
From MaRDI portal
Publication:5453487
DOI10.1007/978-3-540-77356-6_7zbMATH Open1195.68107OpenAlexW1498073103MaRDI QIDQ5453487FDOQ5453487
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
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
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Computer science aspects of computer-aided design (68U07)
Cites Work
- Realization spaces of polytopes
- Conditions for Unique Graph Realizations
- Title not available (Why is that?)
- Title not available (Why is that?)
- CONSTRAINTS ON SIMPLE GEOMETRY IN TWO AND THREE DIMENSIONS
- On Generic Rigidity in the Plane
- Title not available (Why is that?)
- DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY
- Title not available (Why is that?)
- Combinatorial approaches to geometrie constraint solving: problems, progress, and directions
- Decomposition plans for geometric constraint systems. I: Performance measures for CAD
- Decomposition plans for geometric constraint problems. II: New algorithms
- Geometric constraint solving: the witness configuration method
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automated Deduction in Geometry
Cited In (3)
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)
