Publication | Closed Access

Constraint definition system: a computer-algebra based approach to solving geometric-constraint problems

Mathematical ProgrammingGeometric ModelingConstraint SolvingEngineeringConstraint SatisfactionGeometryGeometric Constraint SolvingNatural SciencesConstraint Definition SystemFormal MethodsConstrained OptimizationComputer ScienceComputer-aided DesignConstraint ProgrammingCombinatorial OptimizationComputational GeometryGeometric-constraint Problems