Search




Research outputs

Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems   [2015]

Marinković, Vesna  ; Janičić, Predrag  ; Schreck, Pascal

Filters

By type