Concepedia

Synthetic Proofs

Synthetic Proofs is a method of geometric proof that relies exclusively on axiomatic reasoning and deductive logic within a synthetic geometry framework, distinguished from analytic or algebraic methods by its avoidance of coordinate systems and numerical computation.

4

Publications

400

Citations

8

Authors

5

Institutions

Publications per year

2017–2026

1

Variants

Synthetic Geometry Proofs

Parents

Publications

4

1–4 of 4

Authors

8

  1. GB
    Gabriel Braun

    Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'Imagerie, France

    1 publications · 16 citations

    1

    h-index

  2. RA
    Richard A. Talaska

    1 publications · 106 citations

    1

    h-index

  3. YW
    Yuhuai Wu

    University of Toronto, Canada

    1 publications · 254 citations

    1

    h-index

  4. TH
    Trieu H. Trinh

    Google (United States), United States

    1 publications · 254 citations

    1

    h-index

  5. QV
    Quoc V. Le

    Google (United States), United States

    1 publications · 254 citations

    1

    h-index

1–5 of 8

Institutions

5

  1. Google (United States)

    Mountain View, United States

    1 h-index

    4 publications

    1K citations

  2. New York University

    New York, United States

    1 h-index

    1 publications

    254 citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    1 h-index

    2 publications

    32 citations

  4. Université de Strasbourg

    Strasbourg, France

    1 h-index

    2 publications

    32 citations

  5. Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'Imagerie

    Illkirch-Graffenstaden, France

    1 h-index

    2 publications

    32 citations

1–5 of 5

Venues

  1. Nature

    1 publications · 254 citations

    1

    h-index

  2. Journal of the history of philosophy

    JHP · 1 publications · 106 citations

    1

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 24 citations

    1

    h-index

  4. Journal of Automated Reasoning

    1 publications · 16 citations

    1

    h-index

1–4