most citedFormalization and Implementation of Algebraic Methods in Geometry

17 citations · 17 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SC2012★ 17 cited

Formalization and Implementation of Algebraic Methods in Geometry

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…