Tijana Sukilovic

Orcid: 0000-0001-6371-3081

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Automated triangle constructions in hyperbolic geometry.
Ann. Math. Artif. Intell., December, 2023

Towards Automated Readable Proofs of Ruler and Compass Constructions.
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023

2021
On Automating Triangle Constructions in Absolute and Hyperbolic Geometry.
Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

2015
Curvature based shape detection.
Comput. Geom., 2015


  Loading...