7 citations · 10 across the 6 of their papers we have counts for
1 paper · 2 filters
C. E. Larson, N. Van Cleemput
We describe a "top down" approach for automated theorem proving (ATP). Researchers might usefully investigate the forms of the theorems mathematicians use in practice, carefully ex…