A formalization of geometric constraint systems and their decomposition

DOI10.1007/S00165-009-0117-8MaRDI QIDQ968304zbMATH OpenOpenAlexDBLPWikidataFDO

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

zbMATH Keywords

decompositionformalizationgeometric constraints solvingparametric CADtransformation groups

Mathematics Subject Classification ID

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

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

Cites work

• A C-tree decomposition algorithm for 2D and 3D geometric constraint solving
• Algebraic method for manipulation of dimensional relationships in geometric models
• DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY
• Geometric construction by assembling solved subfigures
• GEOMETRICAL CONSTRAINT SYSTEM DECOMPOSITION: A MULTI-GROUP APPROACH
• Rule-oriented method for parameterized computer-aided design
• Using geometric rewrite rules for solving geometric problems symbolically
• Using invariance under the similarity group to solve geometric constraint systems
• Variation of geometries based on a geometric-reasoning method
• WELL-FORMED SYSTEMS OF POINT INCIDENCES FOR RESOLVING COLLECTIONS OF RIGID BODIES

Cited in

(12)

• Sketch-based pruning of a solution space within a formal geometric constraint solver
• Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints
• Automated deduction and knowledge management in geometry
• Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm
• DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY
• GEOMETRICAL CONSTRAINT SYSTEM DECOMPOSITION: A MULTI-GROUP APPROACH
• scientific article; zbMATH DE number 5130862 (Why is no real title available?)
• scientific article; zbMATH DE number 1149429 (Why is no real title available?)
• Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method
• Automated Deduction in Geometry
• Decomposition plans for geometric constraint problems. II: New algorithms
• Using invariance under the similarity group to solve geometric constraint systems

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)