Concepedia

Error Detection In Proofs

Error Detection in Proofs is a methodological framework within mathematical writing that systematically identifies logical inconsistencies, invalid inferences, or structural deficiencies in mathematical arguments to ensure the correctness and rigor of formal proofs.

9

Publications

298

Citations

20

Authors

15

Institutions

Publications per year

2017–2026

2

Parents

Publications

9

Proof validation in real analysis: Inferring and checking warrants

Lara Alcock, Keith Weber · The Journal of Mathematical Behavior · 2005 · 108 citations

, , +11

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

PROOFS AND REFUTATIONS (IV)

The British Journal for the Philosophy of Science · 1964 · 40 citations

, , +5

Common Errors and Misconceptions in Mathematical Proving by Education Undergraduates.

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

, , +17

Mimicking, errors, and the optimal standard of proof

Murat C. Mungan, Andrew Samuel · Economics Letters · 2018 · 17 citations

, , +7

1–5 of 9

Authors

20

  1. JF
    Joachim Frans

    Ghent University, Belgium

    1 publications · 13 citations

    1

    h-index

  2. JJ
    Jacques Julliand

    Université de Franche-Comté, France

    1 publications · 16 citations

    1

    h-index

  3. LA
    Lara Alcock

    Loughborough University, United Kingdom

    1 publications · 108 citations

    1

    h-index

  4. BB
    Bernard Botella

    Laboratoire d'Intégration des Systèmes et des Technologies, France

    1 publications · 16 citations

    1

    h-index

  5. TM
    Tom Melham

    University of Oxford, United Kingdom

    1 publications · 13 citations

    1

    h-index

1–5 of 20

Institutions

15

  1. University of Edinburgh

    Edinburgh, United Kingdom

    2 h-index

    3 publications

    93 citations

  2. New Brunswick Theological Seminary

    New Brunswick, United States

    1 h-index

    2 publications

    216 citations

  3. Loyola University Maryland

    Baltimore, United States

    1 h-index

    1 publications

    17 citations

  4. Rutgers, The State University of New Jersey

    New Brunswick, United States

    1 h-index

    2 publications

    216 citations

  5. Ghent University

    Ghent, Belgium

    1 h-index

    1 publications

    13 citations

  6. Université Bourgogne Franche-Comté

    Besançon, France

    1 h-index

    3 publications

    48 citations

  7. Centre National de la Recherche Scientifique

    Paris, France

    1 h-index

    3 publications

    48 citations

  8. Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies

    Besançon, France

    1 h-index

    3 publications

    48 citations

1–8 of 15

Venues

  1. Interacting with Computers

    1 publications · 13 citations

    1

    h-index

  2. Economics Letters

    1 publications · 17 citations

    1

    h-index

  3. Formal Aspects of Computing

    1 publications · 16 citations

    1

    h-index

  4. Journal of Applied Probability

    JAP · 1 publications · 13 citations

    1

    h-index

  5. 1

    h-index

1–5