Add to ORKGInternational audienceSolving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver introduces and proposes a solution for two problems: a method to solve mixed constraints, a representation for constructible numbers. A survey over 512 theorems of euclidean geometry shows that this solution is appropriate. Application to Tutoring System in geometry is considered
Geometric constraint solving is a growing field devoted to solve geometric problems defined by rel...
Geometric constraint solving is a key issue in CAD, CAM and PLM. The systems of ge-ometric constrain...
Solving nonlinear constraints over real numbers is a complex problem. Hence constraint logic program...
International audienceSolving Geometrical Constraint Systems Using CLP Based on Linear Constraint So...
Abstract. This paper proposes two algorithms for solving geometric constraint systems. The first alg...
The paper reports on the development of a 2D geometric constraint solver. The solver is a major comp...
International audienceThis paper is about one representation of constructible numbers which allows u...
SIGLEAvailable from British Library Document Supply Centre- DSC:3292.8855(SU-CSRP--165) / BLDSC - Br...
We survey the current state of the art in geometric constraint solving. Both 2D and 3D constraint s...
This paper introduces a new rigidification method-using interval constraint programming techniques- ...
An approach to solving systems of geometric constraints appropriate for computer aided design is des...
In the paper, a new constructive approach to solving geometric constraints in 2D space is presented....
We report on the development of a two-dimensional geometric COll-straint solver. The solver is a maj...
In the paper, a new constructive approach to solving geometric constraints in 2D space is presented....
In this paper, we propose a method which can be used to decompose a 2D or 3D constraint problem into...
Geometric constraint solving is a growing field devoted to solve geometric problems defined by rel...
Geometric constraint solving is a key issue in CAD, CAM and PLM. The systems of ge-ometric constrain...
Solving nonlinear constraints over real numbers is a complex problem. Hence constraint logic program...
International audienceSolving Geometrical Constraint Systems Using CLP Based on Linear Constraint So...
Abstract. This paper proposes two algorithms for solving geometric constraint systems. The first alg...
The paper reports on the development of a 2D geometric constraint solver. The solver is a major comp...
International audienceThis paper is about one representation of constructible numbers which allows u...
SIGLEAvailable from British Library Document Supply Centre- DSC:3292.8855(SU-CSRP--165) / BLDSC - Br...
We survey the current state of the art in geometric constraint solving. Both 2D and 3D constraint s...
This paper introduces a new rigidification method-using interval constraint programming techniques- ...
An approach to solving systems of geometric constraints appropriate for computer aided design is des...
In the paper, a new constructive approach to solving geometric constraints in 2D space is presented....
We report on the development of a two-dimensional geometric COll-straint solver. The solver is a maj...
In the paper, a new constructive approach to solving geometric constraints in 2D space is presented....
In this paper, we propose a method which can be used to decompose a 2D or 3D constraint problem into...
Geometric constraint solving is a growing field devoted to solve geometric problems defined by rel...
Geometric constraint solving is a key issue in CAD, CAM and PLM. The systems of ge-ometric constrain...
Solving nonlinear constraints over real numbers is a complex problem. Hence constraint logic program...