Proof presentation for Isabelle

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/bfb0028399 ◽

1997 ◽

pp. 259-274 ◽

Cited By ~ 6

Author(s):

Martin Simons

Keyword(s):

Proof Presentation

Download Full-text

Classroom sociomathematical norms for proof presentation in undergraduate in abstract algebra

The Journal of Mathematical Behavior ◽

10.1016/j.jmathb.2012.04.002 ◽

2012 ◽

Vol 31 (3) ◽

pp. 401-416 ◽

Cited By ~ 10

Author(s):

Timothy Fukawa-Connelly

Keyword(s):

Abstract Algebra ◽

Sociomathematical Norms ◽

Proof Presentation

Download Full-text

Focus Windows: A New Technique for Proof Presentation

Lecture Notes in Computer Science - Artificial Intelligence, Automated Reasoning, and Symbolic Computation ◽

10.1007/3-540-45470-5_30 ◽

2002 ◽

pp. 337-341 ◽

Cited By ~ 1

Author(s):

Florina Piroi ◽

Bruno Buchberger

Keyword(s):

New Technique ◽

A New Technique ◽

Proof Presentation

Download Full-text

Using Toulmin analysis to analyse an instructor's proof presentation in abstract algebra

International Journal of Mathematical Education in Science and Technology ◽

10.1080/0020739x.2013.790509 ◽

2013 ◽

Vol 45 (1) ◽

pp. 75-88 ◽

Cited By ~ 1

Author(s):

Timothy Fukawa-connelly

Keyword(s):

Abstract Algebra ◽

Proof Presentation

Download Full-text

Dynamic Proof Presentation

10.1007/978-3-030-77879-8_4 ◽

2021 ◽

pp. 63-86

Author(s):

Paul B. Jackson

Keyword(s):

Proof Presentation

Download Full-text