Geometric constraint solving is constraint satisfaction in a computational geometry setting, which has primary applications in computer aided design.[1] A problem to be solved consists of a given set of geometric elements and a description of geometric constraints between the elements, which could be non-parametric (tangency, horizontality, coaxiality, etc) or parametric (like distance, angle, radius). The goal is to find the positions of geometric elements in 2D or 3D space that satisfy the given constraints,[2] which is done by dedicated software components called geometric constraint solvers.
Geometric constraint solving became an integral part of CAD systems in the 80s, when Pro/Engineer first introduced a novel concept of feature-based parametric modeling concept.[3][4]
There are additional problems of geometric constraint solving that are related to sets of geometric elements and constraints: dynamic moving of given elements keeping all constraints satisfied,[5] detection of over- and under-constrained sets and subsets,[6][7] auto-constraining of under-constrained problems, etc.
^Roller, edited by Beat Brüderlin, Dieter (1998). Geometric Constraint Solving and Applications. Berlin, Heidelberg: Springer Berlin Heidelberg. pp. 3–23. ISBN 978-3-642-58898-3. {{cite book}}: |first1= has generic name (help)CS1 maint: multiple names: authors list (link)
^Christoph M. Hoffmann; Pamela J. Vermeer. Geometric constraint solving in R2 and R3. doi:10.1142/9789812831699_0008. S2CID 18272588.
^Robert Joan-Arinyo. Basics on Geometric Constraint Solving. CiteSeerX 10.1.1.331.9554.
^R. Anderl; R. Mendgen (1996). "Modelling with constraints: theoretical foundation and application". Computer-Aided Design. 28 (3): 155–168. doi:10.1016/0010-4485(95)00023-2.
^Marc Freixas; Robert Joan-Arinyo; Antoni Soto-Riera (2010). "A constraint-based dynamic geometry system". Computer-Aided Design. 42 (2): 151–161. doi:10.1016/j.cad.2009.02.016.
^Rossignac, Jaroslaw; SIGGRAPH, Joshua Turner, editors; sponsored by ACM (1991). Proceedings : Symposium on Solid Modeling Foundations and CAD/CAM Applications, Radisson Plaza Hotel, Austin, Texas, June 5-7, 1991. New York: Association for Computing Machinery. ISBN 978-0-89791-427-7. {{cite book}}: |first2= has generic name (help)CS1 maint: multiple names: authors list (link)
^Simon E.B.Thierry; Pascal Schreck; Dominique Michelucci; Christoph Fünfzig; Jean-David Génevaux (2011). "Extensions of the witness method to characterize under-, over- and well-constrained geometric constraint systems" (PDF). Computer-Aided Design. 43 (10): 1234–1249. doi:10.1016/j.cad.2011.06.018.
and 24 Related for: Geometric constraint solving information
Geometricconstraintsolving is constraint satisfaction in a computational geometry setting, which has primary applications in computer aided design. A...
problem as a homogeneous collection of finite constraints over variables, which is solved by constraint satisfaction methods. CSPs are the subject of...
smaller number of variables. With inequality constraints, the problem can be characterized in terms of the geometric optimality conditions, Fritz John conditions...
solvinggeometric programs (GPs) and generalized geometric programs (GGPs). CVXPY is a Python-embedded modeling language for specifying and solving convex...
In mathematics, a geometric series is the sum of an infinite number of terms that have a constant ratio between successive terms. For example, the series...
that has the best fit to a series of data points, possibly subject to constraints. Curve fitting can involve either interpolation, where an exact fit to...
)=0\end{cases}}} which amounts to solving n + M {\displaystyle n+M} equations in n + M {\displaystyle \ n+M\ } unknowns. The constraint qualification assumption...
The problem of solving a system of linear inequalities dates back at least as far as Fourier, who in 1827 published a method for solving them, and after...
very small number of constraints. There is always at least one constraint, and TOC uses a focusing process to identify the constraint and restructure the...
(CAE) systems. C3D Toolkit provides routines for 3D modeling, 3D constraintsolving, polygonal mesh-to-B-rep conversion, 3D visualization, and 3D file...
defined on the constraint surface that are invariant under the gauge transformations of the theory. Then, solving only the constraint G j = 0 {\displaystyle...
attempting to solve an ordinary differential equation on a constraint manifold; the constraints are various nonlinear geometricconstraints such as "these...
algorithm: an algorithm for solving linear vector optimization problems Dantzig–Wolfe decomposition: an algorithm for solving linear programming problems...
with an additional constraint. The simplicial cones in question are the corners (i.e., the neighborhoods of the vertices) of a geometric object called a...
of the particle using Newtonian mechanics would require solving for the time-varying constraint force required to keep the particle in the constrained...
develop efficient algorithms and data structures for solving problems stated in terms of basic geometrical objects: points, line segments, polygons, polyhedra...
In classical and quantum mechanics, geometric phase is a phase difference acquired over the course of a cycle, when a system is subjected to cyclic adiabatic...
minimization with convex quadratic constraintsGeometric programming Entropy maximization with appropriate constraints. The following are useful properties...
In condensed matter physics, the term geometrical frustration (or in short: frustration) refers to a phenomenon where atoms tend to stick to non-trivial...
programming (ILP), in which the objective function and the constraints (other than the integer constraints) are linear. Integer programming is NP-complete. In...
a set of non-divisible projects or tasks under a fixed budget or time constraint, respectively. The knapsack problem has been studied for more than a century...
integration methods. Boundary value problems (BVPs) are usually solved numerically by solving an approximately equivalent matrix problem obtained by discretizing...
(branch-and-cut); this is the method of choice for solving large instances. This approach holds the current record, solving an instance with 85,900 cities, see Applegate...
Geometrical design (GD) is a branch of computational geometry. It deals with the construction and representation of free-form curves, surfaces, or volumes...