Scholar
William M. Farmer
Google Scholar ID: zNX4etkAAAAJ
Professor of Computer Science and Software Engineering, McMaster University
Logic
Mathematical Knowledge Management
Mechanized Mathematics
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,014
H-index
26
i10-index
49
Publications
20
Co-authors
1
Publications
2 items
An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
2026
Cited
0
Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
arXiv.org · 2023
Cited
0
