This page shows all presentations of this author published in EasyChair Smart Slide.
Rule Based Geometry Automated Theorem Provers for Geometry
Nuno Baeta, Pedro Teixeira and Pedro Quaresma