1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CG2024
A note on Erdős's mysterious remark
Zoltán Kovács
We give an alternative proof of the statement, by using elimination from algebraic geometry, that the only set , such that all subsets that…
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…