Add to ORKGInternational audienceThis paper is about one representation of constructible numbers which allows use of solver of linear constraints. A implementation is given in PrologIII and experiments are discussed
We present an approach for handling geometric constraint problems with under-constrained configurat...
of radicals using rationals, unication. Abstract. Constraint Logic Programming can be advantageously...
International audienceConstraint Logic Programming can be advantageously used to deal with quadratic...
International audienceThis paper is about one representation of constructible numbers which allows u...
International audienceSolving Geometrical Constraint Systems Using CLP Based on Linear Constraint So...
International audienceThis paper proposes a new tool for decision support to address geometric over-...
International audienceWe consider constraints satisfaction problems between lines in Euclidean geome...
The theoretical contributions of this work include : 1) exact and normal representation of construct...
International audienceThis paper proposes an original decision-support approach to address over-cons...
Geometric constraint solving is a growing field devoted to solve geometric problems defined by rel...
International audienceThis paper describes new ways to tackle several important problems encountered...
Solving nonlinear constraints over real numbers is a complex problem. Hence constraint logic program...
In parametric design, changing values of parameters to get different solution instances to the probl...
International audienceThis paper deals with the resolution of geometric constraint systems encounter...
Journal ArticleIn this paper, we present an approach to geometric constraint solving, based on degre...
We present an approach for handling geometric constraint problems with under-constrained configurat...
of radicals using rationals, unication. Abstract. Constraint Logic Programming can be advantageously...
International audienceConstraint Logic Programming can be advantageously used to deal with quadratic...
International audienceThis paper is about one representation of constructible numbers which allows u...
International audienceSolving Geometrical Constraint Systems Using CLP Based on Linear Constraint So...
International audienceThis paper proposes a new tool for decision support to address geometric over-...
International audienceWe consider constraints satisfaction problems between lines in Euclidean geome...
The theoretical contributions of this work include : 1) exact and normal representation of construct...
International audienceThis paper proposes an original decision-support approach to address over-cons...
Geometric constraint solving is a growing field devoted to solve geometric problems defined by rel...
International audienceThis paper describes new ways to tackle several important problems encountered...
Solving nonlinear constraints over real numbers is a complex problem. Hence constraint logic program...
In parametric design, changing values of parameters to get different solution instances to the probl...
International audienceThis paper deals with the resolution of geometric constraint systems encounter...
Journal ArticleIn this paper, we present an approach to geometric constraint solving, based on degre...
We present an approach for handling geometric constraint problems with under-constrained configurat...
of radicals using rationals, unication. Abstract. Constraint Logic Programming can be advantageously...
International audienceConstraint Logic Programming can be advantageously used to deal with quadratic...