Correctness proof of a geometric constraint solver

Ioannis Fudos   and  Christoph M Hoffmann

International Journal of Computational Geometry \& Applications - 1996


International Journal of Computational Geometry \& Applications - 1996


Fudos, Ioannis, and Christoph M. Hoffmann. “Correctness Proof of a Geometric Constraint Solver.” International Journal of Computational Geometry \& Applications, vol. 6, no. 04, World Scientific, 1996, pp. 405–20, doi:10.1142/S0218195996000253.