Proof Technology in Mathematics Research and Teaching - Mathematics Education in the Digital Era
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030284824, 9783030284831

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Issues and Challenges in Instrumental Proof

Proof Technology in Mathematics Research and Teaching - Mathematics Education in the Digital Era ◽

10.1007/978-3-030-28483-1_7 ◽

2019 ◽

pp. 139-172 ◽

Cited By ~ 2

Author(s):

Philippe R. Richard ◽

Fabienne Venant ◽

Michel Gagnon

Download Full-text

SMTCoq: Mixing Automatic and Interactive Proof Technologies

Proof Technology in Mathematics Research and Teaching - Mathematics Education in the Digital Era ◽

10.1007/978-3-030-28483-1_4 ◽

2019 ◽

pp. 73-90 ◽

Cited By ~ 1

Author(s):

Chantal Keller

Keyword(s):

Interactive Proof

Download Full-text

Using Automated Reasoning Tools to Explore Geometric Statements and Conjectures

Proof Technology in Mathematics Research and Teaching - Mathematics Education in the Digital Era ◽

10.1007/978-3-030-28483-1_10 ◽

2019 ◽

pp. 215-236 ◽

Cited By ~ 2

Author(s):

Markus Hohenwarter ◽

Zoltán Kovács ◽

Tomás Recio

Keyword(s):

Automated Reasoning

Download Full-text

Proof Technology and Learning in Mathematics: Common Issues and Perspectives

Proof Technology in Mathematics Research and Teaching - Mathematics Education in the Digital Era ◽

10.1007/978-3-030-28483-1_17 ◽

2019 ◽

pp. 349-365

Author(s):

Nicolas Balacheff ◽

Thierry Boy de la Tour

Keyword(s):

Technology And Learning

Download Full-text

Web-Based Task Design Supporting Students’ Construction of Alternative Proofs

Proof Technology in Mathematics Research and Teaching - Mathematics Education in the Digital Era ◽

10.1007/978-3-030-28483-1_14 ◽

2019 ◽

pp. 291-312

Author(s):

Mikio Miyazaki ◽

Taro Fujita ◽

Keith Jones

Keyword(s):

Task Design ◽

Web Based

Download Full-text

Learning Logic and Proof with an Interactive Theorem Prover

Proof Technology in Mathematics Research and Teaching - Mathematics Education in the Digital Era ◽

10.1007/978-3-030-28483-1_13 ◽

2019 ◽

pp. 277-290

Author(s):

Jeremy Avigad

Keyword(s):

Theorem Prover ◽

Learning Logic

Download Full-text

Using 3D Geometry Systems to Find Theorems of Billiard Trajectories in Polyhedra

Proof Technology in Mathematics Research and Teaching - Mathematics Education in the Digital Era ◽

10.1007/978-3-030-28483-1_12 ◽

2019 ◽

pp. 255-273

Author(s):

Heinz Schumann

Keyword(s):

3D Geometry

Download Full-text

Proof Technology: Implications for Teaching

Proof Technology in Mathematics Research and Teaching - Mathematics Education in the Digital Era ◽

10.1007/978-3-030-28483-1_1 ◽

2019 ◽

pp. 3-9

Author(s):

Gila Hanna ◽

David A. Reid ◽

Michael de Villiers

Download Full-text

The Contribution of Information and Communication Technology to the Teaching of Proof

Proof Technology in Mathematics Research and Teaching - Mathematics Education in the Digital Era ◽

10.1007/978-3-030-28483-1_8 ◽

2019 ◽

pp. 173-195

Author(s):

Maria Alessandra Mariotti

Keyword(s):

Information And Communication Technology ◽

Communication Technology ◽

Information And Communication

Download Full-text

Computer-Generated Geometry Proofs in a Learning Context

Proof Technology in Mathematics Research and Teaching - Mathematics Education in the Digital Era ◽

10.1007/978-3-030-28483-1_11 ◽

2019 ◽

pp. 237-253

Author(s):

Pedro Quaresma ◽

Vanda Santos

Keyword(s):

Learning Context

Download Full-text

Proof Technology in Mathematics Research and Teaching - Mathematics Education in the Digital EraLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Issues and Challenges in Instrumental Proof

SMTCoq: Mixing Automatic and Interactive Proof Technologies

Using Automated Reasoning Tools to Explore Geometric Statements and Conjectures

Proof Technology and Learning in Mathematics: Common Issues and Perspectives

Web-Based Task Design Supporting Students’ Construction of Alternative Proofs

Learning Logic and Proof with an Interactive Theorem Prover

Using 3D Geometry Systems to Find Theorems of Billiard Trajectories in Polyhedra

Proof Technology: Implications for Teaching

The Contribution of Information and Communication Technology to the Teaching of Proof

Computer-Generated Geometry Proofs in a Learning Context

Proof Technology in Mathematics Research and Teaching - Mathematics Education in the Digital Era
Latest Publications