Concepedia

Proof Error Analysis

Proof Error Analysis is a methodological framework within the domain of algebraic proof that systematically identifies, categorizes, and evaluates logical, structural, or computational errors in mathematical reasoning to enhance the validity and rigor of proof-based arguments.

10

Publications

253

Citations

18

Authors

13

Institutions

Publications per year

2017–2026

2

Parents

Publications

10

Assisted verification of elementary functions using Gappa

Florent de Dinechin, Christoph Lauter, Guillaume Melquiond · 2006 · 67 citations

, , +17

What is a proof?

Alan Bundy, Mateja Jamnik, Andrew J.B. Fugard · Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences · 2005 · 40 citations · Full text

, , +13

Common Errors and Misconceptions in Mathematical Proving by Education Undergraduates.

Stavros Georgios Stavrou · IUMPST The Journal · 2014 · 38 citations · Full text

, , +17

Recent Progress in Proof Mining in Nonlinear Analysis.

Ulrich Kohlenbach · FLAP · 2017 · 22 citations

, , +15

Problem Solving, Working Backwards, and Graphic Proof Representation

Marvin J. Croy · Teaching Philosophy · 2000 · 20 citations

, , +17

1–5 of 10

Authors

18

  1. AS
    Andrew Samuel

    Loyola University Maryland, United States

    1 publications · 17 citations

    1

    h-index

  2. SG
    Stavros Georgios Stavrou

    University of Saskatchewan, Canada

    1 publications · 38 citations

    1

    h-index

  3. GM
    Guillaume Melquiond

    Institut national de recherche en sciences et technologies du numérique, France

    1 publications · 67 citations

    1

    h-index

  4. AB
    Alan Bundy

    University of Edinburgh, United Kingdom

    1 publications · 40 citations

    1

    h-index

  5. JF
    Joachim Frans

    Ghent University, Belgium

    1 publications · 13 citations

    1

    h-index

1–5 of 18

Institutions

13

  1. University of Edinburgh

    Edinburgh, United Kingdom

    2 h-index

    3 publications

    93 citations

  2. University of Windsor

    Windsor, Canada

    1 h-index

    2 publications

    26 citations

  3. University of Glasgow

    Glasgow, United Kingdom

    1 h-index

    1 publications

    13 citations

  4. Fraunhofer Institute for Open Communication Systems

    Berlin, Germany

    1 h-index

    2 publications

    26 citations

  5. Vrije Universiteit Brussel

    Brussels, Belgium

    1 h-index

    1 publications

    13 citations

  6. University of Cambridge

    Cambridge, United Kingdom

    1 h-index

    1 publications

    40 citations

  7. Russian State Agrarian Correspondence University

    Balashikha, Russia

    1 h-index

    1 publications

    10 citations

  8. George Mason University

    Fairfax, United States

    1 h-index

    1 publications

    17 citations

1–8 of 13

Venues

  1. FLAP

    1 publications · 22 citations

    1

    h-index

  2. Informal Logic

    1 publications · 13 citations

    1

    h-index

  3. Economics Letters

    1 publications · 17 citations

    1

    h-index

  4. Teaching Philosophy

    1 publications · 20 citations

    1

    h-index

  5. 1

    h-index

1–5