On the Mechanization of Straightedge and Compass Constructions
SCHRECK Pascal
系统科学与复杂性(英文) ›› 2019, Vol. 32 ›› Issue (1) : 124-149.
On the Mechanization of Straightedge and Compass Constructions
On the Mechanization of Straightedge and Compass Constructions
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |