Login / Signup
Alexander Vujic
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Open Source
Automated Theorem Proving
Cooperative
Lower Bound
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)
Zoltán Kovács
,
Alexander Vujic
Open Source Prover in the Attic.
CoRR
(2024)