"Correctness Proof of a Geometric Constraint Solver" by Ioannis Fudos and Christoph M. Hoffmann
 

Date of this Version

1993

Tech Report Number

93-076

Number of Pages

16

Share

COinS