Alexander Vujic

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

Collaborative distances:

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

2023

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

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

Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023

Open Source Prover in the Attic.

Zoltán Kovács, Alexander Vujic

Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023