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}
}