1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2024
Towards Automated Readable Proofs of Ruler and Compass Constructions
Vesna Marinković, Tijana Šukilović, Filip Marić
Although there are several systems that successfully generate construction steps for ruler and compass construction problems, none of them provides readable synthetic correctness p…
cs.CG2022★ 1 cited
On Automating Triangle Constructions in Absolute and Hyperbolic Geometry
Vesna Marinković, Tijana Šukilović, Filip Marić
We describe first steps towards a system for automated triangle constructions in absolute and hyperbolic geometry. We discuss key differences between constructions in Euclidean, ab…