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.
@article{fudos1996correctness,
title = {Correctness proof of a geometric constraint solver},
author = {Fudos, Ioannis and Hoffmann, Christoph M},
journal = {International Journal of Computational Geometry \& Applications},
volume = {6},
number = {04},
pages = {405--420},
year = {1996},
publisher = {World Scientific},
doi = {10.1142/S0218195996000253},
pdf = {Fudos-International_Journal_of_Comput_Geo_and_Applic-1996-Correctness_Proof_of_A_Geometric_constraint_solver.pdf}
}