Search




Research outputs

Computer-Assisted Theorem Proving in Synthetic Geometry   [2018]

Julien Narboux; Janičić, Predrag Đ.  ; Jacques Fleuriot

Filters

By type