A formalization of geometric constraint systems and their decomposition
type: Item
instance of: scholarly article
title: A formalization of geometric constraint systems and their decomposition
zbMATH Open document ID: 1214.68437
author: Pascal Mathis
author: Simon E. B. Thierry
published in: Formal Aspects of Computing
publication date: 2010-05-05T00:00:00Z
Mathematics Subject Classification ID: 68U05
Mathematics Subject Classification ID: 68U07
zbMATH DE Number: 5703855
zbMATH Keywords: geometric constraints solving
zbMATH Keywords: decomposition
zbMATH Keywords: transformation groups
zbMATH Keywords: parametric CAD
zbMATH Keywords: formalization
MaRDI profile type: Publication
full work available at URL: s00165-009-0117-8
OpenAlex ID: W2136362794
Wikidata QID: Q60326036
cites work: Variation of geometries based on a geometric-reasoning method
cites work: Using geometric rewrite rules for solving geometric problems symbolically
cites work: Geometric construction by assembling solved subfigures
cites work: A C-tree decomposition algorithm for 2D and 3D geometric constraint solving
cites work: DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY
cites work: Algebraic method for manipulation of dimensional relationships in geometric models
cites work: WELL-FORMED SYSTEMS OF POINT INCIDENCES FOR RESOLVING COLLECTIONS OF RIGID BODIES
cites work: GEOMETRICAL CONSTRAINT SYSTEM DECOMPOSITION: A MULTI-GROUP APPROACH
cites work: Using invariance under the similarity group to solve geometric constraint systems
cites work: Rule-oriented method for parameterized computer-aided design
DBLP publication ID: journals/fac/MathisT10
DOI: 10.1007/S00165-009-0117-8
description: scientific article; zbMATH DE number 5703855