Tijana Sukilovic

According to our database, Tijana Sukilovic authored at least 4 papers between 2015 and 2023.

Collaborative distances:

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

2023

Automated triangle constructions in hyperbolic geometry.

Vesna Marinkovic, Tijana Sukilovic, Filip Maric

Ann. Math. Artif. Intell., December, 2023

Towards Automated Readable Proofs of Ruler and Compass Constructions.

Vesna Marinkovic, Tijana Sukilovic, Filip Maric

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

2021

On Automating Triangle Constructions in Absolute and Hyperbolic Geometry.

Vesna Marinkovic, Tijana Sukilovic, Filip Maric

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

2015

Curvature based shape detection.

Tijana Sukilovic

Comput. Geom., 2015