2 citations · 3 across the 8 of their papers we have counts for
Showing cs.CGShow all
2 papers · 1 filter
cs.CG2025
Automated proving in planar geometry based on the complex number identity method and elimination
Zoltán Kovács, Xicheng Peng
We improve the complex number identity proving method to a fully automated procedure, based on elimination ideals. By using declarative equations or rewriting each real-relational…
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…