Illustrates recently developed fixture design and verification technology, focusing on their
central role in manufacturing processes. The text uses up-to-date computer technology to …

This work investigates 3D geometric constraint solving for a representative class of basic
problems that appear in practice as building blocks of more complex designs. It shows that …

Among the expected contributions of Artificial Intelligence to Computer-Aided Design is the
possibility of constructing a geometric object, the description of which is given by a system of …

In the past few years, there has been a strong trend towards developing parametric,
computer-aided design systems based on geometric constraint solving. An effective way to …

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 …

Modeling by geometric constraints is a promising method in the field of CAD/CAM. However,
this process, closely related to computer programming, is also error prone. A geometric …

This paper presents some important issues and potential research tracks for Geometric
Constraint Solving: the use of the simplicial Bernstein base to reduce the wrapping effect in …

Decomposition of constraint systems is a key component of geometric constraint solving in
CAD. On the other hand, some authors have introduced the notion of reparameterization …

A functional specification and a prototype based on the notion of oriented combinatorial map
are proposed in order to approach computational geometric problems in the plane. They …

We revisit the theoretical foundations of geometric modelling from the algebraic and
functional points of view. We present algebras as a powerful tool to describe old and recent …