5 papers
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…
GNU Aris: a web application for students
Saksham Attri, Zoltán Kovács, Aaron Windischbauer
We report on recent improvements to the free logic education software tool GNU Aris, including the latest features added during the Google Summer of Code 2023 project. We focused o…
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…
Opinion polarisation in social networks driven by cognitive dissonance avoidance
Zoltan Kovács, Anna Zafeiris, Gergely Palla
As the consequences of opinion polarization effect our everyday life in more and more aspect, the understanding of its origins and driving forces becomes increasingly important. He…
The Effect of Ga-Ion Irradiation on Sub-Micron-Wavelength Spin Waves in Yttrium-Iron-Garnet Films
Johannes Greil, Martina Kiechle, Adam Papp +8
We investigate the effect of focused-ion-beam (FIB) irradiation on spin waves with sub-micron wavelengths in Yttrium-Iron-Garnet (YIG) films. Time-resolved scanning transmission X-…