8 citations · 35 across the 21 of their papers we have counts for
Showing cs.CGShow all
3 papers · 1 filter
cs.CG2014
Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
Yannis Haralambous, Pedro Quaresma
Dynamic geometry systems (DGS) have become basic tools in many areas of geometry as, for example, in education. Geometry Automated Theorem Provers (GATP) are an active area of rese…
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…