4 citations · 9 across the 4 of their papers we have counts for
1 paper · 1 filter
Nuno Baeta, Pedro Quaresma
The field of geometric automated theorem provers has a long and rich history, from the early AI approaches of the 1960s, synthetic provers, to today algebraic and synthetic provers…