On the Mechanization of Straightedge and Compass Constructions
| Title: | On the Mechanization of Straightedge and Compass Constructions |
|---|---|
| Authors: | Schreck, PascalAff1, cor1 |
| Source: | Journal of Systems Science and Complexity. 32(1):124-149 |
| Database: | Springer Nature Journals |