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