Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference36 articles.
1. Bertot, Y., Guilhot, F., Pottier, L.: Visualizing geometrical statements with geoview. Electron. Notes Theor. Comput. Sci. 103, 49–65 (2004)
2. Lecture Notes in Computer Science;M Bezem,2005
3. Lecture Notes in Computer Science;F Botana,2003
4. Botana, F.: Format exchange in dynamic geometry. In: Workshop Intergeo-España (2007)
5. Lecture Notes in Computer Science;F Botana,2006
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proof exploration using dynamic geometry systems with integrated automated deduction capabilities;International Journal of Mathematical Education in Science and Technology;2024-07-24
2. Automated generation of illustrated proofs in geometry and beyond;Annals of Mathematics and Artificial Intelligence;2023-07-03
3. Automated triangle constructions in hyperbolic geometry;Annals of Mathematics and Artificial Intelligence;2023-06-12
4. Components of collective argumentation in geometric construction tasks;Turkish Journal of Education;2023-01-31
5. Geometric construction using compass and straightedge on GeoGebra;PROCEEDINGS OF THE SYMPOSIUM ON ADVANCE OF SUSTAINABLE ENGINEERING 2021 (SIMASE 2021): Post Covid-19 Pandemic: Challenges and Opportunities in Environment, Science, and Engineering Research;2023