17 citations · 18 across the 3 of their papers we have counts for
3 papers
cs.AI2021★ 1 cited
Proceedings of the 13th International Conference on Automated Deduction in Geometry
Predrag Janičić, Zoltán Kovács
Automated Deduction in Geometry (ADG) is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection betwee…
cs.LO2014
A Vernacular for Coherent Logic
Sana Stojanovic, Julien Narboux, Marc Bezem +1
We propose a simple, yet expressive proof representation from which proofs for different proof assistants can easily be generated. The representation uses only a few inference rule…
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…