Proving Elementary Geometry Theorems Using Wu’s Algorithm
- 1 January 1984
- other
- Published by American Mathematical Society (AMS)
- Vol. 29, 243-286
- https://doi.org/10.1090/conm/029/14
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: