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