4 citations · 9 across the 4 of their papers we have counts for
1 paper · 1 filter
Nuno Baeta, Pedro Quaresma, Zoltán Kovács
The geometry automated theorem proving area distinguishes itself by a large number of specific methods and implementations, different approaches (synthetic, algebraic, semi-synthet…