1. Research with MATF
  2. Research Outputs

Browsing by Author Quaresma, Pedro

Showing results 1 to 6 of 6
Issue DateTitleAuthor(s)Rank
1-Jan-2012The area method: A recapitulationJaničić, Predrag ; Narboux, Julien; Quaresma, Pedro
1-Jan-2007Automatic verification of regular constructions in dynamic geometry systemsJaničić, Predrag ; Quaresma, Pedro
15-May-2007GeoThms - a Web System for Euclidean Constructive GeometryQuaresma, Pedro; Janičić, Predrag 
1-Jan-2006Integrating dynamic geometry software, deduction systems, and theorem repositoriesQuaresma, Pedro; Janičić, Predrag 
1-Jan-2006System description: GCLCprover + GeoThmsJaničić, Predrag ; Quaresma, Pedro
1-Jan-2008XML-Based format for geometryQuaresma, Pedro; Janičić, Predrag ; Tomašević, Jelena ; Vujošević Janičić, Milena ; Tošić, Dušan
Showing results 1 to 6 of 6