8 citations · 35 across the 21 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
cs.CG2012★ 1 cited
An XML-Format for Conjectures in Geometry (Work-in-Progress)
Pedro Quaresma
With a large number of software tools dedicated to the visualisation and/or demonstration of properties of geometric constructions and also with the emerging of repositories of geo…
cs.CG2012★ 8 cited
Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment
Vanda Santos, Pedro Quaresma
The area of geometry with its very strong and appealing visual contents and its also strong and appealing connection between the visual content and its formal specification, is an…
eess.SY2012★ 1 cited
Proceedings First Workshop on CTP Components for Educational Software
Pedro Quaresma, Ralph-Johan Back
The THedu'11 workshop received thirteen submissions, twelve of which were accepted and presented during the workshop. For the post-conference proceedings nine submission where rece…