Alert button
Picture for Vesna Marinković

Vesna Marinković

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