Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
-
Published:2024-01-22
Issue:
Volume:398
Page:110-123
-
ISSN:2075-2180
-
Container-title:Electronic Proceedings in Theoretical Computer Science
-
language:en
-
Short-container-title:Electron. Proc. Theor. Comput. Sci.
Author:
Hota Amela1,
Kovács Zoltán1,
Vujic Alexander1
Affiliation:
1. The Private University College of Education of the Diocese of Linz, Austria
Publisher
Open Publishing Association