Proof Diagrams is a diagrammatic representation method that formally visualizes logical inference structures and deductive relationships within mathematical or formal proofs, distinguishing itself from other diagram types by its precise syntactic and semantic correspondence to proof steps and axiomatic rules.
20
Publications
524
Citations
37
Authors
26
Institutions
Publications per year
2017–2026
3
Parents
Publications
20
Doing arithmetic with diagrams
Alan Bundy · Edinburgh Research Explorer · 1973 · 57 citations · Full text
1–5 of 20
Authors
37
- KW
3
h-index
- TL
2
h-index
- JV
2
h-index
- MR
2
h-index
- AK
2
h-index
1–5 of 37
Institutions
26
Rutgers, The State University of New Jersey
New Brunswick, United States
3 h-index
6 publications
164 citations
Wichita State University
Wichita, United States
2 h-index
2 publications
39 citations
TU Wien
Vienna, Austria
2 h-index
8 publications
132 citations
Radboud University Nijmegen
Nijmegen, The Netherlands
2 h-index
6 publications
96 citations
Zhejiang University of Science and Technology
Hangzhou, China
2 h-index
2 publications
39 citations
Chinese Academy of Sciences
Beijing, China
2 h-index
2 publications
39 citations
École Polytechnique
Palaiseau, France
1 h-index
1 publications
13 citations
Zhejiang University
Hangzhou, China
1 h-index
1 publications
24 citations
1–8 of 26
Venues
- Journal of Automated Reasoning
2 publications · 39 citations
2
h-index
- Electronic Proceedings in Theoretical Computer Science
2 publications · 30 citations
2
h-index
- The Journal of Mathematical Behavior
JMB · 1 publications · 34 citations
1
h-index
- Logical Methods in Computer Science
LMCS · 1 publications · 12 citations
1
h-index
- Institutional Repositories DataBase (IRDB)
Repository · 1 publications · 13 citations
1
h-index
1–5