论文信息 - Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry - 字舞流文

Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry

Work partially supported by the grant MTM2017-88796-P from the Spanish MINECO and the ERDF (European Regional Development Fund).

M. Pilar Vélez | Tomás Jesús Recio Muñiz | Zoltán Kovács

[1] Tomás Recio,et al. Automatic Discovery of Theorems in Elementary Geometry , 2004, Journal of Automated Reasoning.

[2] Keith Jones,et al. Recent research on geometry education: an ICME-13 survey team report , 2016 .

[3] Tomás Recio,et al. On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving , 2016, Math. Comput. Sci..

[4] Tomás Recio,et al. Automated Theorem Proving in GeoGebra: Current Achievements , 2015, Journal of Automated Reasoning.

[5] Philippe R. Richard,et al. The concept of proof in the light of mathematical work , 2016 .

[6] M. Artigue,et al. What is Inquiry-Based Mathematics Education ( IBME ) ? , 2012 .

[7] Pedro Quaresma,et al. Towards an Intelligent and Dynamic Geometry Book , 2017, Math. Comput. Sci..

[8] Tomás Recio,et al. GEOGEBRA AUTOMATED REASONING TOOLS : A TUTORIAL WITH EXAMPLES , 2017 .

[9] Tomás Recio,et al. Development of automatic reasoning tools in GeoGebra , 2016, ACCA.

[10] Geoffrey Howson,et al. School Mathematics in the 1990s , 1987 .

[11] Philip J. Davis,et al. THE RISE, FALL, AND POSSIBLE TRANSFIGURATION OF TRIANGLE GEOMETRY: A MINI-HISTORY , 1995 .

[12] S. Chou. Mechanical Geometry Theorem Proving , 1987 .

[13] Tomás Jesús Recio Muñiz,et al. Computing envelopes in dynamic geometry environments , 2015 .

[14] Maria Paola Bonacina,et al. Automated Reasoning , 2014, Lecture Notes in Computer Science.