6 citations · 6 across the 2 of their papers we have counts for
3 papers
cs.AI2022★ 6 cited
Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
Pedro Quaresma, Vanda Santos
The introduction of automated deduction systems in secondary schools face several bottlenecks, the absence of the subject of rigorous mathematical demonstrations in the curricula,…
cs.CY2018
Exchange of Geometric Information Between Applications
Pedro Quaresma, Vanda Santos, Nuno Baeta
The Web Geometry Laboratory (WGL) is a collaborative and adaptive e-learning Web platform integrating a well known dynamic geometry system. Thousands of Geometric problems for Geom…
cs.CY2015
A Web Environment for Geometry
Pedro Quaresma, Vanda Santos, Milena Marić
The Web Geometry Laboratory, (WGL), is a blended-learning, collaborative and adaptive, Web environment for geometry. It integrates a well known dynamic geometry system. In a collab…