17 citations · 18 across the 3 of their papers we have counts for
1 paper · 1 filter
Filip Marić, Ivan Petrović, Danijela Petrović +1
We describe our ongoing project of formalization of algebraic methods for geometry theorem proving (Wu's method and the Groebner bases method), their implementation and integration…