Login / Signup
Amela Hota
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Sparse Linear Systems
Automated Deduction
Solving Complex
Data Model
Top Venues
CoRR
</>
Publications
</>
Amela Hota
,
Zoltán Kovács
,
Alexander Vujic
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery.
CoRR
(2024)