On the Mechanization of Straightedge and Compass Constructions
Journal of Systems Science and Complexity - United States
doi 10.1007/s11424-019-8347-1
Full Text
Open PDFAbstract
Available in full text
Date
February 1, 2019
Authors
Publisher
Springer Science and Business Media LLC