BibSonomy :: author  :: Quaresma ::

bookmarks

publications

(4)

• Automatic Verification of Regular Constructions in Dynamic Geometry Systems
  Predrag Janičić and Pedro Quaresma Automated Deduction in Geometry 39--51 (2007)
  to dynamic geometry proving theorem by toni on 2008-05-22 13:57:57
  | URL | BibTeX  
• GeoThms -- a Web System for Euclidean Constructive Geometry
  Pedro Quaresma and Predrag Janicic Electronic Notes in Theoretical Computer Science 174 35--48 (2007)
  to Web automated dynamic for geometry interfaces proof proving pt software systems theorem by toni and 1 other person on 2008-05-22 13:57:07
  | URL | BibTeX  
• System Description: GCLCprover + GeoThms
  Predrag Janičić and Pedro Quaresma Automated Reasoning 145--150 (2006)
  to dynamic geometry proving theorem by toni on 2008-05-22 13:55:34
  | URL | BibTeX  
• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
  Pedro Quaresma and Predrag Janičić Mathematical Knowledge Management 280--294 (2006)
  to dynamic geometry proving pt theorem by toni on 2008-05-22 13:53:16
  | URL | BibTeX