Concepedia

Congruence Proofs

Congruence Proofs is a formal deductive framework within geometric proof that establishes the equivalence of geometric figures by verifying the correspondence of their shape and size through axiomatic reasoning and congruence criteria such as side-angle-side (SAS), angle-side-angle (ASA), and side-side-side (SSS).

49

Publications

1.9K

Citations

79

Authors

48

Institutions

Publications per year

2017–2026

5

Parents

Publications

49

Proving Congruence of Bisimulation in Functional Programming Languages

Douglas J. Howe · Information and Computation · 1996 · 254 citations

, , +11

Checking NFA equivalence with bisimulations up to congruence

Filippo Bonchi, Damien Pous · 2013 · 150 citations · Full text

, , +16

Compact hypersurfaces with constant scalar curvature and a congruence theorem

Antonio R�os · Journal of Differential Geometry · 1988 · 125 citations · Full text

, , +13

Congruence properties for the partition function

Scott Ahlgren, Ken Ono · Proceedings of the National Academy of Sciences · 2001 · 106 citations · Full text

, , +11

Environmental Bisimulations for Higher-Order Languages

Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii · 2007 · 89 citations

, , +11

1–5 of 49

Authors

79

  1. JA
    James A. Sellers

    Pennsylvania State University, United States

    3 publications · 67 citations

    3

    h-index

  2. DS
    Davide Sangiorgi

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

    3 publications · 208 citations

    3

    h-index

  3. NK
    Naoki Kobayashi

    The University of Tokyo, Japan

    2 publications · 173 citations

    2

    h-index

  4. GC
    Gábor Czédli

    University of Szeged, Hungary

    2 publications · 33 citations

    2

    h-index

  5. ES
    Eijiro Sumii

    The University of Tokyo, Japan

    2 publications · 173 citations

    2

    h-index

1–5 of 79

Institutions

48

  1. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    4 h-index

    6 publications

    209 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    6 publications

    394 citations

  3. University of Bologna

    Bologna, Italy

    2 h-index

    2 publications

    173 citations

  4. Tohoku University

    Sendai, Japan

    2 h-index

    4 publications

    346 citations

  5. Pennsylvania State University

    State College, United States

    2 h-index

    2 publications

    54 citations

  6. Institute of Molecular Physics of the Polish Academy of Sciences

    Poznan, Poland

    1 h-index

    1 publications

    56 citations

  7. The Microsoft Research - University of Trento Centre for Computational and Systems Biology

    Trento, Italy

    1 h-index

    2 publications

    20 citations

  8. UNSW Sydney

    Sydney, Australia

    1 h-index

    1 publications

    40 citations

1–8 of 48

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 107 citations

    5

    h-index

  2. Mathematics of Computation

    MCOM · 2 publications · 60 citations

    2

    h-index

  3. arXiv (Cornell University)

    Repository · 2 publications · 27 citations

    2

    h-index

  4. International Journal of Number Theory

    IJNT · 2 publications · 39 citations

    2

    h-index

  5. Theoretical Computer Science

    2 publications · 45 citations

    2

    h-index

1–5