Tijana Sukilovic

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

Collaborative distances:

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

2024

Towards Automated Readable Proofs of Ruler and Compass Constructions.

Vesna Marinkovic, Tijana Sukilovic, Filip Maric

CoRR, 2024

2023

Automated triangle constructions in hyperbolic geometry.

Vesna Marinkovic, Tijana Sukilovic, Filip Maric

Ann. Math. Artif. Intell., December, 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