A formalization of geometric constraint systems and their decomposition
DOI10.1007/S00165-009-0117-8zbMATH Open1214.68437DBLPjournals/fac/MathisT10OpenAlexW2136362794WikidataQ60326036 ScholiaQ60326036MaRDI QIDQ968304FDOQ968304
Authors: Pascal Mathis, Simon E. B. Thierry 
Publication date: 5 May 2010
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-009-0117-8
Recommendations
- DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY
- GEOMETRICAL CONSTRAINT SYSTEM DECOMPOSITION: A MULTI-GROUP APPROACH
- Using invariance under the similarity group to solve geometric constraint systems
- Geometric constraint solving with geometric transformation
- scientific article; zbMATH DE number 2080310
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Computer science aspects of computer-aided design (68U07)
Cites Work
- DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY
- WELL-FORMED SYSTEMS OF POINT INCIDENCES FOR RESOLVING COLLECTIONS OF RIGID BODIES
- A C-tree decomposition algorithm for 2D and 3D geometric constraint solving
- Algebraic method for manipulation of dimensional relationships in geometric models
- Rule-oriented method for parameterized computer-aided design
- GEOMETRICAL CONSTRAINT SYSTEM DECOMPOSITION: A MULTI-GROUP APPROACH
- Using invariance under the similarity group to solve geometric constraint systems
- Using geometric rewrite rules for solving geometric problems symbolically
- Variation of geometries based on a geometric-reasoning method
- Geometric construction by assembling solved subfigures
Cited In (12)
- Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints
- Title not available (Why is that?)
- Title not available (Why is that?)
- GEOMETRICAL CONSTRAINT SYSTEM DECOMPOSITION: A MULTI-GROUP APPROACH
- Automated deduction and knowledge management in geometry
- Decomposition plans for geometric constraint problems. II: New algorithms
- Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm
- Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method
- Using invariance under the similarity group to solve geometric constraint systems
- Automated Deduction in Geometry
- Sketch-based pruning of a solution space within a formal geometric constraint solver
- DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY
This page was built for publication: A formalization of geometric constraint systems and their decomposition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q968304)
