19 citations · 53 across the 10 of their papers we have counts for
1 paper · 2 filters
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…