Tech Report Number
93-076
Date of this Version
12-1-1993
Recommended Citation
Fudos, Ioannis and Hoffmann, Christoph M., "Correctness Proof of a Geometric Constraint Solver" (1993). Department of Computer Science Technical Reports. Paper 1089.
https://docs.lib.purdue.edu/cstech/1089
Number of Pages
16