17 citations · 22 across the 4 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2024★ 4 cited
Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
Salwa Tabet Gonzalez, Predrag Janičić, Julien Narboux
Conjecturing and theorem proving are activities at the center of mathematical practice and are difficult to separate. In this paper, we propose a framework for completing incomplet…
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…