45 citations
- Universidad NebrijaES4 papers
- University of SzegedHU4 papers
- University of CoimbraPT2 papers
- Aalto UniversityFI1 paper
- Applied Science Private UniversityJO1 paper
- Birla Institute of Technology and Science, PilaniIN1 paper
- Graz University of TechnologyAT1 paper
- Johannes Kepler University of LinzAT1 paper
- Know Center Research GmbH (Austria)AT1 paper
- Linz Center of Mechatronics (Austria)AT1 paper
- Ludwig-Maximilians-Universität MünchenDE1 paper
- Suwon Research InstituteKR1 paper
20 papers
Designing Intent Communication for Agent-Human Collaboration
Yi Li, Francesco Chiossi, Helena Anna Frijns +6
As autonomous agents, from self-driving cars to virtual assistants, become increasingly present in everyday life, safe and effective collaboration depends on human understanding of…
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…
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…
The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
Anna Käferböck, Zoltán Kovács
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…