Alexander Vujic

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery.
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023

Open Source Prover in the Attic.
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023


  Loading...