Alert button
Picture for Tijana Šukilović

Tijana Šukilović

Alert button

Faculty of Mathematics, University of Belgrade

Towards Automated Readable Proofs of Ruler and Compass Constructions

Add code
Bookmark button
Alert button
Jan 22, 2024
Vesna Marinković, Tijana Šukilović, Filip Marić

Viaarxiv icon