17 citations · 17 across the 1 of their papers we have counts for
1 paper · 1 filter
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…