摘要综述了几何约束求解的历史发展, 研究现状和应用= 对常见的# 类求解方法:
数值计算的方法, 符号计算的方法, 基于规则的方法, 基于图论的方法做了详细的介绍 …

Feature-based parametric modeling is the de facto standard in CAD. Boundary
representation-based direct modeling is another CAD paradigm developed recently. They …

Significant progress has been accomplished during the past decades about geometric
constraint solving, in particular thanks to its applications in industrial fields like CAD and …

Parametric modeling is a computer-aided design (CAD) paradigm where a design can be
created by defining geometric constraints with parameters. In design change as well as …

We propose the basis of a higher-order logical framework to axiomatize and build proofs in
Hilbert's elementary geometry in which intuitionistic aspects are emphasized. More …

In this paper, we propose a method which can be used to decompose a 2D or 3D constraint
problem into a C-tree. With this decomposition, a geometric constraint problem can be …

This paper presents a bibliography of over 2250 references related to computer vision and
image analysis, arranged by subject matter. The topics covered include computational …

The very recent CAD paradigm of direct modeling gives rise to the need of processing 3D
geometric constraint systems defined on boundary representation (B-rep) models. The major …

In CAD systems, formal geometric solvers enable the designer to draw a sketch and to
provide constraints that are compiled into a construction plan by symbolic geometric …

This paper describes new ways to tackle several important problems encountered in
geometric constraint solving, in the context of CAD, and which are linked to the handling of …