Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery. - Amela Hota; Zoltán Kovács; Alexander Vujic (ADG, 2023)