Concepedia

Proof Organization

Proof Organization is a methodological framework in the academic context of proof writing that structures the presentation, sequencing, and logical flow of mathematical arguments to enhance clarity, coherence, and rigor in conveying proof strategies.

10

Publications

280

Citations

19

Authors

10

Institutions

Publications per year

2017–2026

2

Parents

Publications

10

Structuring Mathematical Proofs

Uri Leron · American Mathematical Monthly · 1983 · 138 citations

, , +12

Intentional Gaps In Mathematical Proofs

Don Fallis · Synthese · 2003 · 68 citations

, , +8

QED at Large: A Survey of Engineering of Formally Verified Software

Talia Ringer, Karl Palmskog, Ilya Sergey et al. · Foundations and Trends® in Programming Languages · 2019 · 43 citations · Full text

, , +16

Acceptable gaps in mathematical proofs

Line Edslev Andersen · Synthese · 2018 · 41 citations · Full text

, , +8

Structured calculational proof

R. J. R. Back, Jim Grundy, Joakim Wright · Formal Aspects of Computing · 1997 · 31 citations · Full text

, , +10

1–5 of 10

Authors

19

  1. DD
    Diana Dee‐Lucas

    Carnegie Mellon University, United States

    2 publications · 28 citations

    2

    h-index

  2. JH
    Jill H. Larkin

    Carnegie Mellon University, United States

    2 publications · 28 citations

    2

    h-index

  3. MB
    Maksym Bortin

    University of Bremen, Germany

    1 publications · 16 citations

    1

    h-index

  4. MT
    Michal Tabach

    Tel Aviv University, Israel

    1 publications · 22 citations

    1

    h-index

  5. EB
    Einar Broch Johnsen

    University of Oslo, Norway

    1 publications · 16 citations

    1

    h-index

1–5 of 19

Institutions

10

  1. Yale-NUS College

    Singapore, Singapore

    1 h-index

    1 publications

    43 citations

  2. National University of Singapore

    Singapore, Singapore

    1 h-index

    1 publications

    43 citations

  3. German Research Centre for Artificial Intelligence

    Kaiserslautern, Germany

    1 h-index

    1 publications

    16 citations

  4. University of Arizona

    Tucson, United States

    1 h-index

    1 publications

    68 citations

  5. The University of Texas at Austin

    Austin, United States

    1 h-index

    2 publications

    86 citations

  6. Aarhus University

    Aarhus, Denmark

    1 h-index

    1 publications

    41 citations

  7. Tel Aviv University

    Tel Aviv, Israel

    1 h-index

    5 publications

    110 citations

  8. University of Bremen

    Bremen, Germany

    1 h-index

    1 publications

    16 citations

1–8 of 10

Venues

  1. Journal of Educational Psychology

    2 publications · 28 citations

    2

    h-index

  2. Synthese

    2 publications · 109 citations

    2

    h-index

  3. 1

    h-index

  4. The Journal of Mathematical Behavior

    JMB · 1 publications · 22 citations

    1

    h-index

  5. DSpace@MIT (Massachusetts Institute of Technology)

    Repository · 1 publications · 11 citations

    1

    h-index

1–5