Proof Visualization

Proof Visualization is a scholarly method in the domain of mathematical proof communication that employs visual representations to convey the logical structure and inferential relationships within a geometric proof, distinguishing itself from textual or symbolic expositions by leveraging spatial and graphical means to enhance comprehension, verification, and exposition.

26

Publications

620

Citations

49

Authors

26

Institutions

Publications per year

2017–2026

3

Authors

49

  1. MR
    Martin Riener

    TU Wien, Austria

    2 publications · 30 citations

    2

    h-index

  2. MR
    Mikheil Rukhaia

    TU Wien, Austria

    2 publications · 30 citations

    2

    h-index

  3. SC
    Shang-Ching Chou

    Wichita State University, United States

    2 publications · 39 citations

    2

    h-index

  4. XG
    Xiao-Shan Gao

    Chinese Academy of Sciences, China

    2 publications · 39 citations

    2

    h-index

  5. TL
    Tomer Libal

    TU Wien, Austria

    2 publications · 30 citations

    2

    h-index

1–5 of 49

Venues

  1. Choice Reviews Online

    CRO · 2 publications · 66 citations

    2

    h-index

  2. Journal of Automated Reasoning

    2 publications · 39 citations

    2

    h-index

  3. 2

    h-index

  4. 2

    h-index

  5. 1

    h-index

1–5