Concepedia

Proof Schemas

Proof Schemas is a cognitive framework in mathematical reasoning that organizes common structural patterns and inferential strategies used in constructing geometric proofs, distinguishing it from general proof methods by its focus on recurrent, domain-specific templates that guide valid deductive argumentation in geometry.

19

Publications

594

Citations

32

Authors

27

Institutions

Publications per year

2017–2026

0

Parents

Publications

19

A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i>

Jeremy Avigad, Edward Dean, John Mumma · The Review of Symbolic Logic · 2009 · 144 citations · Full text

, , +12

Structuring Mathematical Proofs

Uri Leron · American Mathematical Monthly · 1983 · 138 citations

, , +12

Dynamic Geometry Environments as a Source of Rich Learning Contexts for the Complex Activity of Proving

Colette Laborde · Educational Studies in Mathematics · 2000 · 111 citations

, , +12

Signaling in monitors

John H. Howard · 1976 · 34 citations

, , +15

A framework for example usage in proof presentations

Melissa Mills · The Journal of Mathematical Behavior · 2013 · 34 citations

, , +11

1–5 of 19

Authors

32

  1. LL
    Larry Laudan

    University of Pittsburgh, United States

    2 publications · 45 citations

    2

    h-index

  2. PS
    Peter Schroeder‐Heister

    University of Tübingen, Germany

    1 publications · 34 citations

    1

    h-index

  3. KK
    Kotaro Komatsu

    Shinshu University, Japan

    1 publications · 31 citations

    1

    h-index

  4. JC
    Janusz Czelakowski

    Polish Academy of Sciences, Poland

    1 publications · 23 citations

    1

    h-index

  5. RC
    Ricardo Caferra

    Centre National de la Recherche Scientifique, France

    1 publications · 10 citations

    1

    h-index

1–5 of 32

Institutions

27

  1. Iowa State University

    Ames, United States

    1 h-index

    2 publications

    46 citations

  2. Texas A&M University School of Law

    Fort Worth, United States

    1 h-index

    1 publications

    11 citations

  3. École Polytechnique

    Palaiseau, France

    1 h-index

    3 publications

    69 citations

  4. Nagano University

    Ueda, Japan

    1 h-index

    1 publications

    31 citations

  5. Laboratoire d'Informatique de l'École Polytechnique

    Palaiseau, France

    1 h-index

    3 publications

    69 citations

  6. Polish Academy of Sciences

    Warsaw, Poland

    1 h-index

    2 publications

    46 citations

  7. University of Tübingen

    Tübingen, Germany

    1 h-index

    1 publications

    34 citations

  8. Shinshu University

    Matsumoto, Japan

    1 h-index

    1 publications

    31 citations

1–8 of 27

Venues

  1. Journal of Automated Reasoning

    1 publications · 23 citations

    1

    h-index

  2. Theoretical Computer Science

    1 publications · 32 citations

    1

    h-index

  3. Educational Studies in Mathematics

    2 publications · 142 citations

    1

    h-index

  4. Information and Computation

    1 publications · 18 citations

    1

    h-index

  5. Annals of Pure and Applied Logic

    1 publications · 28 citations

    1

    h-index

1–5