Bibsonomy :: author  ::

bookmarks

publications

(21)

• GCLC — A Tool for Constructive Euclidean Geometry and More Than That
  Predrag Janičić Mathematical Software - ICMS 2006 58--73 (2006)
  to dynamic geometry proving pt theorem by toni on 2008-05-22 14:02:56
  | URL | BibTeX  
• 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  
• Random k-GD-Sat Model and its Phase Transition.
  Milena Vujosevic-Janicic and Jelena Tomasevic and Predrag Janicic J. UCS 13 572-591 (2007)
  to dblp by dblp on 2008-03-08 00:00:00
  | URL | BibTeX  
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems.
  Predrag Janicic and Pedro Quaresma Automated Deduction in Geometry 39-51 (2006)
  to dblp by dblp on 2008-01-04 00:00:00
  | URL | BibTeX  
• Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic.
  Predrag Janicic and Alan Bundy Calculemus/MKM 80-93 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• A Variant of N-Gram Based Language Classification.
  Andrija Tomovic and Predrag Janicic AI*IA 410-421 (2007)
  to dblp by dblp on 2007-08-27 00:00:00
  | URL | BibTeX  
• GeoThms - a Web System for Euclidean Constructive Geometry.
  Pedro Quaresma and Predrag Janicic Electr. Notes Theor. Comput. Sci. 174 35-48 (2007)
  to dblp by dblp and 1 other person on 2007-06-01 00:00:00
  | URL | BibTeX