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

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 …

The parameter setting of an algorithm that will result in optimal performance differs across
problem instance domains. Users spend a lot of time tuning algorithms for their specific …

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 …

Geometric problems defined by constraints can be represented by geometric constraint
graphs whose nodes are geometric elements and whose arcs represent geometric …

Geometric constraints are at the heart of parametric and feature-based CAD systems.
Changing values of geometric constraint parameters is one of the most common operations …

Dynamic geometry systems are tools for geometric visualization. They allow the user to
define geometric elements, establish relationships between them and explore the dynamic …

Geometric problems defined by constraints have an exponential number of solution
instances in the number of geometric elements involved. Generally, the user is only …

In parametric design, changing values of parameters to get different solution instances to the
problem at hand is a paramount operation. One of the main issues when generating the …

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 …