8 citations · 35 across the 21 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CY2018★ 2 cited
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.AI2018
Proceedings 6th International Workshop on Theorem proving components for Educational software
Pedro Quaresma, Walther Neuper
The 6th International Workshop on Theorem proving components for Educational software (ThEdu'17) was held in Gothenburg, Sweden, on 6 Aug 2017. It was associated to the conference…