2 citations · 3 across the 8 of their papers we have counts for
8 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-…
Using Java Geometry Expert as Guide in the Preparations for Math Contests
Ines Ganglmayr, Zoltán Kovács
We give an insight into Java Geometry Expert (JGEX) in use in a school context, focusing on the Austrian school system. JGEX can offer great support in some classroom situations, e…
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
Amela Hota, Zoltán Kovács, Alexander Vujic
In this article, we solve some of the geometry problems of the Náboj 2023 competition with the help of a computer, using examples that the software tool GeoGebra Discovery can calc…
Open Source Prover in the Attic
Zoltán Kovács, Alexander Vujic
The well known JGEX program became open source a few years ago, but seemingly, further development of the program can only be done without the original authors. In our project, we…