Zobrazeno 1 - 10
of 1 822
pro vyhledávání: '"KOVÁCS, Zoltán"'
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. Here we develop an agent-based network model with realistic human traits
Externí odkaz:
http://arxiv.org/abs/2409.16343
Autor:
Greil, Johannes, Kiechle, Martina, Papp, Adam, Neumann, Peter, Kovács, Zoltán, Volk, Janos, Schulz, Frank, Wintz, Sebastian, Weigand, Markus, Csaba, György, Becherer, Markus
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-ray (TR-STXM) microscopy was used to image the spin waves in irradiate
Externí odkaz:
http://arxiv.org/abs/2408.14580
Autor:
Käferböck, Anna, Kovács, Zoltán
Publikováno v:
EPTCS 398, 2024, pp. 132-141
We give an example of automated geometry reasoning for an imaginary classroom project by using the free software package GeoGebra Discovery. The project is motivated by a publicly available toy, a rocking camel, installed at a medical center in Upper
Externí odkaz:
http://arxiv.org/abs/2401.11908
Publikováno v:
EPTCS 398, 2024, pp. 101-109
We address, through the automated reasoning tools in GeoGebra Discovery, a problem from a regional phase of the Austrian Mathematics Olympiad 2023. Trying to solve this problem gives rise to four different kind of feedback: the almost instantaneous,
Externí odkaz:
http://arxiv.org/abs/2401.11906
Publikováno v:
EPTCS 398, 2024, pp. 43-52
In our contribution we describe some on-going improvements concerning the Automated Reasoning Tools developed in GeoGebra Discovery, providing different examples of the performance of these new features. We describe the new ShowProof command, that ou
Externí odkaz:
http://arxiv.org/abs/2401.11900
Autor:
Kovács, Zoltán, Vujic, Alexander
Publikováno v:
EPTCS 398, 2024, pp. 53-61
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 are looking at whether it is possible to continue such a large project
Externí odkaz:
http://arxiv.org/abs/2401.13702
Autor:
Ganglmayr, Ines, Kovács, Zoltán
Publikováno v:
EPTCS 398, 2024, pp. 124-131
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, especially for solving mathematical competition tasks. Also, we discuss
Externí odkaz:
http://arxiv.org/abs/2401.13704
Publikováno v:
EPTCS 398, 2024, pp. 110-123
In this article, we solve some of the geometry problems of the N\'aboj 2023 competition with the help of a computer, using examples that the software tool GeoGebra Discovery can calculate. In each case, the calculation requires symbolic computations.
Externí odkaz:
http://arxiv.org/abs/2401.13703
Autor:
Quaresma, Pedro, Kovács, Zoltán
Publikováno v:
EPTCS 398, 2024
ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. The conference is held every two years. The previous editions of ADG
Externí odkaz:
http://arxiv.org/abs/2401.10725