Automatic Proving of Geometric Theorems

Invariant Methods in Discrete and Computational Geometry ◽

10.1007/978-94-015-8402-9_8 ◽

1995 ◽

pp. 167-196 ◽

Cited By ~ 7

Author(s):

Henry Crapo ◽

Jürgen Richter-Gebert

Download Full-text