People
Predrag Janicic
Email
Member
Cognitive and Media Systems
Journal Articles
2012
(1 publication) 2007
(1 publication) Conference Articles
2006
(5 publications) - Quaresma, P. and Janicic, P. , "Framework for Constructive Geometry (Based on the Area Method)", 2006
- Quaresma, P. and Janicic, P. , "Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories", in 5th International Conference on Mathematical Knowledge Management (MKM06), 2006
- Janicic, P. and Quaresma, P. , "System Description: GCLCprover + GeoThms", in 3rd International Joint Conference on Automated Reasoning
3rd International Joint Conference on Automated Reasoning, 2006
- Quaresma, P. and Janicic, P. , "Automatic Verification of Regular Constructions in Dynamic Geometry Systems", in Automated Deduction in Geometry, 2006
- Quaresma, P. and Janicic, P. and Tomasevic, J. and Vujovevi-Janicic, M. and Tosic, D. , "XML-based Format for Geometry", in Communicating Mathematics in the Digital Era, 2006
Book Chapters
Tech Report
2009
(1 publication) 2006
(1 publication)