CORRECTNESS PROOF OF A GEOMETRIC CONSTRAINT SOLVER

DOI10.1142/S0218195996000253zbMath0871.68180MaRDI QIDQ3126153

Ioannis Fudos, Christoph M. Hoffmann

Publication date: 5 October 1997

Published in: International Journal of Computational Geometry & Applications (Search for Journal in Brave)

zbMATH Keywords

geometric constraint solver

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07)

Related Items (6)

AN EFFICIENT METHOD TO DETERMINE THE INTENDED SOLUTION FOR A SYSTEM OF GEOMETRIC CONSTRAINTS ⋮ Decomposition plans for geometric constraint systems. I: Performance measures for CAD ⋮ Decomposition plans for geometric constraint problems. II: New algorithms ⋮ DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY ⋮ Searching the solution space in constructive geometric constraint solving with genetic algorithms ⋮ The reachability problem in constructive geometric constraint solving based dynamic geometry

This page was built for publication: CORRECTNESS PROOF OF A GEOMETRIC CONSTRAINT SOLVER