4 citations · 9 across the 4 of their papers we have counts for
1 paper · 1 filter
Nuno Baeta, Pedro Quaresma
Mathematical proof is undoubtedly the cornerstone of mathematics. The emergence, in the last years, of computing and reasoning tools, in particular automated geometry theorem prove…