Concepedia

Theorem Proving Discourse

Theorem Proving Discourse is a specialized form of mathematical discourse that systematically articulates the logical structure, assumptions, and inferential steps involved in constructing and validating formal proofs within deductive mathematical frameworks.

22

Publications

572

Citations

40

Authors

22

Institutions

Publications per year

2017–2026

2

Parents

Publications

22

Teachers' Conceptions of Proof in the Context of Secondary School Mathematics

Eric Knuth · Journal of Mathematics Teacher Education · 2002 · 211 citations

, , +10

Structuring Mathematical Proofs

Uri Leron · American Mathematical Monthly · 1983 · 138 citations

, , +12

Preformal proving: Examples and reflections

Werner Blum, Arnold Kirsch · Educational Studies in Mathematics · 1991 · 76 citations

, , +9

Reductio ad absurdum from a dialogical perspective

Catarina Dutilh Novaes · Philosophical Studies · 2016 · 49 citations · Full text

, , +17

Verbalization of high-level formal proofs

Amanda M. Holland-Minkley, Regina Barzilay, Robert L. Constable · 1999 · 36 citations · Full text

, , +17

1–5 of 22

Authors

40

  1. MW
    Magdalena Wolska

    Saarland University, Germany

    4 publications · 100 citations

    4

    h-index

  2. IK
    Ivana Kruijff‐Korbayová

    German Research Centre for Artificial Intelligence, Germany

    3 publications · 85 citations

    3

    h-index

  3. HH
    Helmut Horacek

    Saarland University, Germany

    3 publications · 70 citations

    3

    h-index

  4. CB
    Christoph Benzmüller

    Freie Universität Berlin, Germany

    3 publications · 65 citations

    3

    h-index

  5. JP
    Juan Pablo Mejía-Ramos

    Rutgers, The State University of New Jersey, United States

    2 publications · 48 citations

    2

    h-index

1–5 of 40

Institutions

22

  1. Saarland University

    Saarbrücken, Germany

    4 h-index

    10 publications

    182 citations

  2. New Brunswick Theological Seminary

    New Brunswick, United States

    2 h-index

    3 publications

    81 citations

  3. Arizona State University

    Tempe, United States

    2 h-index

    2 publications

    62 citations

  4. Rutgers, The State University of New Jersey

    New Brunswick, United States

    2 h-index

    3 publications

    81 citations

  5. Northern Illinois University

    DeKalb, United States

    1 h-index

    1 publications

    29 citations

  6. Ōtani University

    Kyoto, Japan

    1 h-index

    1 publications

    31 citations

  7. Université Paris Cité

    Paris, France

    1 h-index

    1 publications

    24 citations

  8. Shinshu University

    Matsumoto, Japan

    1 h-index

    1 publications

    31 citations

1–8 of 22

Venues

  1. Educational Studies in Mathematics

    5 publications · 166 citations

    5

    h-index

  2. Choice Reviews Online

    CRO · 1 publications · 24 citations

    1

    h-index

  3. Science in Context

    1 publications · 24 citations

    1

    h-index

  4. Swinburne Research Bank (Swinburne University of Technology)

    Repository · 1 publications · 10 citations

    1

    h-index

  5. Harvard Law Review

    1 publications · 25 citations

    1

    h-index

1–5