| The area method: a recapitulation P Janicic, J Narboux, P Quaresma Journal of Automated Reasoning 48 (4), 489-532, 2012 | 84 | 2012 |
| System description: Gclcprover+ geothms P Janičić, P Quaresma Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006 | 50 | 2006 |
| The area method: a recapitulation P Janičić, J Narboux, P Quaresma Journal of Automated Reasoning 48 (4), 489-532, 2012 | 43 | 2012 |
| Thousands of Geometric problems for geometric Theorem Provers (TGTP) P Quaresma Automated Deduction in Geometry: 8th International Workshop, ADG 2010 …, 2011 | 43 | 2011 |
| Geothms—a web system for Euclidean constructive geometry P Quaresma, P Janičić Electronic Notes in Theoretical Computer Science 174 (2), 35-48, 2007 | 32 | 2007 |
| Automatic verification of regular constructions in dynamic geometry systems P Janičić, P Quaresma International Workshop on Automated Deduction in Geometry, 39-51, 2006 | 32 | 2006 |
| Integrating dynamic geometry software, deduction systems, and theorem repositories P Quaresma, P Janičić International Conference on Mathematical Knowledge Management, 280-294, 2006 | 26 | 2006 |
| Web geometry laboratory: case studies in Portugal and Serbia V Santos, P Quaresma, M Marić, H Campos Interactive Learning Environments 26 (1), 3-21, 2018 | 21 | 2018 |
| Taxonomies of geometric problems P Quaresma, V Santos, P Graziani, N Baeta Journal of Symbolic Computation 97, 31-55, 2020 | 16 | 2020 |
| Towards an intelligent and dynamic geometry book P Quaresma Mathematics in Computer Science 11 (3), 427-437, 2017 | 15 | 2017 |
| Integrating DGSs and GATPs in an adaptative and collaborative blended-learning Web-environment V Santos, P Quaresma arXiv preprint arXiv:1202.4833, 2012 | 14 | 2012 |
| E-learning course for Euclidean geometry V Santos, P Quaresma 2008 Eighth IEEE International Conference on Advanced Learning Technologies …, 2008 | 14 | 2008 |
| WGL, a web laboratory for geometry P Quaresma, V Santos, M Marić Education and information technologies 23 (1), 237-252, 2018 | 13 | 2018 |
| The web geometry laboratory project P Quaresma, V Santos, S Bouallegue Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and …, 2013 | 13 | 2013 |
| Collaborative aspects of the WGL project V Santos, P Quaresma Electronic Journal of Mathematics & Technology 7 (6), 2013 | 13 | 2013 |
| XML-based format for geometry—XML-based format for descriptions of geometrical constructions and geometrical proofs P Quaresma, P Janicic, J Tomaševic, M Vujoševic-Janicic, D Tošic Communicating Mathematics in Digital Era, 183-197, 2008 | 13* | 2008 |
| Análise de frequências da língua portuguesa P Quaresma, A Pinho Livro de Actas da Conferência Ibero-Americana InterTIC, 267-272, 2007 | 12 | 2007 |
| Framework for constructive geometry (based on the area method) P Quaresma, P Janicic Technical Report 2006/001, Centre for Informatics and Systems of the …, 2006 | 12 | 2006 |
| Querying geometric figures using a controlled language, ontological graphs and dependency lattices Y Haralambous, P Quaresma International Conference on Intelligent Computer Mathematics, 298-311, 2014 | 11 | 2014 |
| Visualizaçao de construçoes geométricas P Quaresma, A Pereira Gazeta de Matemática 151, 38-41, 2006 | 11 | 2006 |
Predrag JanicicFull professor of Computer Science, Faculty of Mathematics, University of Belgrade在 matf.bg.ac.rs 的电子邮件经过验证
