On the Mechanization of Straightedge and Compass Constructions-Reference-Cited by-同舟云学术

On the Mechanization of Straightedge and Compass Constructions

Published:2019-02 Issue:1 Volume:32 Page:124-149
ISSN:1009-6124
Container-title:Journal of Systems Science and Complexity
language:en
Short-container-title:J Syst Sci Complex

Author:

Schreck Pascal

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Computer Science (miscellaneous)

Link

http://link.springer.com/article/10.1007/s11424-019-8347-1/fulltext.html

Reference47 articles.

1. Chemla K and Guo S C, Les neuf chapitres - Le classique mathematique de la Chine ancienne et ses commentaires, Dunod, 2005.

2. Wu W T, Selected Works of Wen-Tsun Wu, World Scientific, Singapore, 2008.

3. Wernick W, Triangle constructions with three located points, Mathematics Magazine, 1982, 55: 227–230.

4. Euclidea, Euclidea: Euclidean constructions made fun to olay with, https://www.euclidea.xyz/, 2016–2018.

5. Laborde J M and Strasser R, Cabri-géométre: A microworld of geometry for guided discovery learning, Zentrablatt Für Didactic der Matematik, 1990, 22(5): 171–177.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. How do pre-service teachers view Galois theory? A questionnaire study;Eurasia Journal of Mathematics, Science and Technology Education;2024-01-16

2. Automated triangle constructions in hyperbolic geometry;Annals of Mathematics and Artificial Intelligence;2023-06-12

3. What is the Church-Turing Thesis?;Axiomatic Thinking II;2022

4. On Automating Triangle Constructions in Absolute and Hyperbolic Geometry;Electronic Proceedings in Theoretical Computer Science;2021-12-30

5. Foreword to the Special Issue;Journal of Systems Science and Complexity;2019-02