Reasoning About Equality is a formal cognitive framework within mathematical reasoning that systematically analyzes equivalence relations by identifying invariant properties and syntactic or semantic interchangeability of mathematical objects under specified contexts.
114
Publications
6K
Citations
183
Authors
109
Institutions
Publications per year
2017–2026
11
Parents
Publications
114
Detecting equality of variables in programs
Bowen Alpern, Mark N. Wegman, F. K. Zadeck · 1988 · 427 citations
Peter Westen · Harvard Law Review · 1982 · 255 citations
The Concept of Demodulation in Theorem Proving
L. Wos, George Robinson, Daniel F. Carson et al. · Journal of the ACM · 1967 · 182 citations · Full text
1–5 of 114
Authors
183
- NM
7
h-index
- MW
5
h-index
- EK
4
h-index
- IJ
4
h-index
- AC
4
h-index
1–5 of 183
Institutions
109
University of Wisconsin–Madison
Madison, United States
9 h-index
25 publications
2.7K citations
University of Notre Dame
Notre Dame, United States
6 h-index
15 publications
1.1K citations
University of Pennsylvania
Philadelphia, United States
3 h-index
7 publications
273 citations
IBM (United States)
Armonk, United States
3 h-index
4 publications
883 citations
University of Oxford
Oxford, United Kingdom
3 h-index
7 publications
147 citations
Loughborough University
Loughborough, United Kingdom
3 h-index
8 publications
356 citations
University of Nottingham
Nottingham, United Kingdom
2 h-index
4 publications
373 citations
University of California, Berkeley
Berkeley, United States
2 h-index
2 publications
56 citations
1–8 of 109
Venues
- Journal of the ACM
JACM · 4 publications · 291 citations
4
h-index
- Journal for Research in Mathematics Education
JRME · 4 publications · 184 citations
4
h-index
- Theoretical Computer Science
3 publications · 175 citations
3
h-index
- Res Publica
2 publications · 42 citations
3
h-index
- Journal of Experimental Child Psychology
JECP · 3 publications · 167 citations
3
h-index
1–5