Alexander Vujic

According to our database, Alexander Vujic authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery.

Amela Hota, Zoltán Kovács, Alexander Vujic

CoRR, 2024

Open Source Prover in the Attic.

Zoltán Kovács, Alexander Vujic

CoRR, 2024