Concepedia

Construction Proofs

Construction Proofs is a formal method in geometric reasoning that demonstrates the validity of a geometric construction through a sequence of deductive steps, each grounded in Euclidean axioms and postulates, thereby distinguishing it from mere algorithmic or numerical verification by its reliance on logical necessity and compass-and-straightedge realizability.

10

Publications

248

Citations

13

Authors

10

Institutions

Publications per year

2017–2026

4

Parents

Publications

10

Construction as Existence Proof in Ancient Geometry

Wilbur R. Knorr · Ancient Philosophy · 1983 · 60 citations

, , +16

Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction

Noboru Matsuda, Kurt VanLehn · 2005 · 45 citations

, , +16

Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry

Zoltán Kovács, Tomás Recio, M. Pilar Vélez · International Journal for Technology in Mathematics Education · 2018 · 34 citations · Full text

, , +17

GeoThms — a Web System for Euclidean Constructive Geometry

Pedro Quaresma, Predrag Janičić · Electronic Notes in Theoretical Computer Science · 2007 · 23 citations · Full text

, , +15

Automated reasoning tools in GeoGebra discovery

Zoltán Kovács, Tomás Recio, M. Pilar Vélez · ACM communications in computer algebra · 2021 · 17 citations

, , +15

1–5 of 10

Authors

13

  1. TR
    Tomás Recio

    Universidad de Cantabria, Spain

    2 publications · 51 citations

    2

    h-index

  2. MP
    M. Pilar Vélez

    Universidad Nebrija, Spain

    2 publications · 51 citations

    2

    h-index

  3. ZK
    Zoltán Kovács

    University of Szeged, Hungary

    2 publications · 51 citations

    2

    h-index

  4. KV
    Kurt VanLehn

    University of Pittsburgh, United States

    1 publications · 45 citations

    1

    h-index

  5. PQ
    Pedro Quaresma

    University of Coimbra, Portugal

    1 publications · 23 citations

    1

    h-index

1–5 of 13

Institutions

10

  1. University of Belgrade

    Belgrade, Serbia

    2 h-index

    2 publications

    36 citations

  2. Universidad Nebrija

    Madrid, Spain

    2 h-index

    3 publications

    68 citations

  3. Private Pädagogische Hochschule der Diözese Linz

    Linz, Austria

    2 h-index

    2 publications

    51 citations

  4. Concordia University

    Montreal, Canada

    1 h-index

    1 publications

    15 citations

  5. Waseda University

    Tokyo, Japan

    1 h-index

    1 publications

    14 citations

  6. Carnegie Mellon University

    Pittsburgh, United States

    1 h-index

    1 publications

    45 citations

  7. Universidad de Cantabria

    Santander, Spain

    1 h-index

    1 publications

    34 citations

  8. University of Coimbra

    Coimbra, Portugal

    1 h-index

    1 publications

    23 citations

1–8 of 10

Venues

  1. 1

    h-index

  2. Annals of Pure and Applied Logic

    1 publications · 15 citations

    1

    h-index

  3. Ancient Philosophy

    1 publications · 60 citations

    1

    h-index

  4. Mathematics Education Research Journal

    1 publications · 13 citations

    1

    h-index

  5. Archive for History of Exact Sciences

    1 publications · 14 citations

    1

    h-index

1–5