Books 1996(1 publication) [publication]Quaresma, P. , "Introdução ao LaTeX", 1996 Journal Articles 2020(1 publication) [publication]Quaresma, P. and Vanda Santos and Graziani, P. and Baeta, N. , "Taxonomies of Geometric Problems", Journal of Symbolic Computation, vol. 97, pp. 31-55, 2020 2019(2 publications) [publication]Vanda Santos and Baeta, N. and Quaresma, P. , "Geometrography in Dynamic Geometry", The International Journal for Technology in Mathematics Education, vol. 26, 2019 [publication]Baeta, N. and Quaresma, P. , "Ranking Geometric Automated Theorem Provers", Electronic Proceedings in Theoretical Computer Science, vol. 290, pp. 30-37, 2019 2018(3 publications) [publication]Vanda Santos and Quaresma, P. and Maric, M. and Campos, H. , "Web Geometry Laboratory: Case Studies in Portugal and Serbia", INTERACTIVE LEARNING ENVIRONMENTS, vol. 26, pp. 3-21, 2018 [publication]Quaresma, P. and Vanda Santos and Maric, M. , "WGL, a Web Laboratory for Geometry", Education and Information Technologies, vol. 23, pp. 232-257, 2018 [publication]Quaresma, P. and Vanda Santos and Baeta, N. , "Exchange of Geometric Information Between Applications", EPTCS, vol. 267, pp. 108-119, 2018 2017(2 publications) [publication]Quaresma, P. , "Towards an Intelligent and Dynamic Geometry Book", Mathematics in Computer Science, vol. 11, pp. 427-437, 2017 [publication]Vanda Santos and Quaresma, P. , "Laboratório de geometria na rede (WGL) em contexto de trabalho de casa", Revista do Instituto GeoGebra Internacional de São Paulo, vol. 6, pp. 93-112, 2017 2013(2 publications) [publication]Vanda Santos and Quaresma, P. , "Plataforma Colaborativa para a Geometria", Indagatio Didactica, vol. 5, pp. 31-39, 2013 [publication]Vanda Santos and Quaresma, P. , "Collaborative Aspects of the WGL Project", Electronic Journal of Mathematics & Technology,, vol. 7, 2013 2012(1 publication) [publication]Janicic, P. and Narboux, J. and Quaresma, P. , "The Area Method: a Recapitulation", Journal of Automated Reasoning, vol. 48, pp. 489-532, 2012 [citation][year=2015]Botana, F., Hohenwarter, M., Janicic, P., Kovács, Z., Petrovic, I., Recio, T., & Weitzhofer, S. (2015). Automated theorem proving in GeoGebra: current achievements. Journal of Automated Reasoning, 55(1), 39-59. [citation][year=2015]Boutry, P., Narboux, J., & Schreck, P. (2015). A reflexive tactic for automated generation of proofs of incidence to an affine variety. [citation][year=2015]Maric, F., & Petrovic, D. (2015). Formalizing complex plane geometry. Annals of Mathematics and Artificial Intelligence, 74(3-4), 271-308. [citation][year=2014]Maric, Filip and Petrovic, Danijela, Formalizing complex plane geometry, Annals of Mathematics and Artificial Intelligence, pg 1-38, Springer (DOI:10.1007/s10472-014-9436-4) [citation][year=2013]Groves, Lindsay and Sun, Jing, Verifying an Aircraft Proximity Characterization Method in Coq, LNCS 8144, Springer, DOI: 10.1007/978-3-642-41202-8_7 [citation][year=2013]Braun, Gabriel and Narboux, Julien, From Tarski to Hilbert, LNCS 7993, Springer 2013, Doi: 10.1007/978-3-642-40672-0_7 [citation][year=2012]Formalization and Implementation of Algebraic Methods in Geometry, Maric, Filip and Petrovic, Ivan and Petrovic, Danijela and Janicic, Predrag, Proceedings First Workshop on CTP Components for Educational Software, Wrocl}aw, Poland, 31th July 2011, Electronic Proceedings in Theoretical Computer Science, 79, 2012. [citation][year=2012]A case study in formalizing projective geometry in Coq: Desargues theorem, Nicolas Magaud and Julien Narboux and Pascal Schreck, Computational Geometry, Elsevier, 2012. [citation][year=2012]Schreck, Pascal, Pascal Mathis, and Julien Narboux. "Geometric Construction Problem Solving in Computer-Aided Learning." 24th IEEE International Conference on Tools with Artificial Intelligence. 2012. [citation][year=2012]Jiang, Jianguo, and Jingzhong Zhang. "A review and prospect of readable machine proofs for geometry theorems." Journal of Systems Science and Complexity 25.4 (2012): 802-820. [citation][year=2012]Malikovic, Marko, Mirko Cubrilo, and Predrag Janicic. "Formalization of a Strategy for the KRK Chess Endgame."Central European Conference on Information and Intelligent Systems. 2012. [citation][year=2012]Braun, Gabriel, and Julien Narboux. "From Tarski to Hilbert." Automated Deduction in Geometry 2012. 2012. [citation][year=2012]Marinkovic, Vesna, and Predrag Janicic. "Towards understanding triangle construction problems." Intelligent Computer Mathematics (2012): 127-142. [citation][year=2011]A Coq-based Library for Interactive and Automated Theorem Proving in Plane Geometry Pham, Tuan Minh and Bertot, Yves and Narboux, Julien, The 11th International Conference on Computational Science and Its Applications (ICCSA 2011), LNCS 6785, pg 368,383, Springer 2011 [citation][year=2011]A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry, Fuchs, Laurent and Thery, Laurent, Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers, LNCS 6877, pg 51-62, Springer, 2011 [citation][year=2011]Formalization of Wu's simple method in Coq, GÉnevaux, Jean-David and Narboux, Julien and Schreck, Pascal, CPP 2011, LNCS 7086, Springer, 2011 2009(1 publication) [publication]Quaresma, P. and Pinho, A. , "Criptoanálise", Gazeta de Matemática, pp. 22-31, 2009 2008(1 publication) [publication]Quaresma, P. and Lopes, E. , "Criptografia", Gazeta de Matemática, pp. 7-11, 2008 2007(1 publication) [publication]Quaresma, P. and Janicic, P. , "GeoThms --- a Web System for Euclidean Constructive Geometry", Electronic Notes in Theoretical Computer Science, vol. 174, pp. 35-48, 2007 [citation][year=2015]Botana, F., Hohenwarter, M., Janicic, P., Kovács, Z., Petrovic, I., Recio, T., & Weitzhofer, S. (2015). Automated theorem proving in GeoGebra: current achievements. Journal of Automated Reasoning, 55(1), 39-59. [citation][year=2015]Chen, X., Song, D., & Wang, D. (2015). Automated generation of geometric theorems from images of diagrams. Annals of Mathematics and Artificial Intelligence, 74(3-4), 333-358. [citation][year=2014]Chen, Xiaoyu, Representation and automated transformation of geometric statements, JSSC 27,2. Doi: 10.1007/s11424-014-0316-0 [citation][year=2014]Chen, Xiaoyu and Song, Dan and Wang, Dongming, Automated generation of geometric theorems from images of diagrams, Annals of Mathematics and Artificial Intelligence, Springer 2014. Doi: 10.1007/s10472-014-9433-7 [citation][year=2013]Formalization and Specification of Geometric Knowledge Objects, X Chen, D. Wang. Mathematics in Computer Science, 2013 - Springer [citation][year=2012]A combination of a dynamic geometry software with a proof assistant for interactive formal proofs, Pham, T.M., Bertot, Y., Electronic Notes in Theoretical Computer Science volume 285, issue , year 2012, pp. 43 - 55 [citation][year=2012]Xiaoyu Chen, Interfacing Euclidean Geometry Discourse with Diverse Geometry Software (Extended Abstract), Informatics Research Report, ADG2012, School of Informatics, University of Edinburgh, 2012. [citation][year=2010]Janicic, Predrag, Geometry Constructions Language, JAR 44(1-2). Doi:10.1007/s10817-009-9135-8 2006(1 publication) [publication]Quaresma, P. and Pereira, A. , "Visualização de Construções Geométricas", Gazeta de Matemática, 2006 2005(1 publication) [publication]Quaresma, P. , "Stacks in TeX", TUGboat, vol. 26, pp. 7-9, 2005 Conference Articles 2019(1 publication) [publication]Davenport, J. and Fleuriot, j. and Quaresma, P. and Recio, T. and Wang, D. , "Intelligent GeometryTools", in Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE2019), 2019 2018(4 publications) [publication]Quaresma, P. , "Automatic Deduction in an AI Geometry Book", in https://doi.org/10.1007/978-3-319-99957-9, 2018 [publication]Haralambous, Y. and Quaresma, P. , "Geometric Search in TGTP", in Proceedings of the 12th International Conference on Automated Deduction in Geometry, 2018 [publication]Quaresma, P. and Vanda Santos and Baeta, N. , "Exchange of Geometric Information Between Applications", in 7th International Workshop on Theorem proving components for Educational software, 2018 [publication]Quaresma, P. , "Automatic Deduction in an AI Geometry Book", in 13th International Conference on Artificial Intelligence and Symbolic Computation, 2018 2016(1 publication) [publication]Quaresma, P. and Vanda Santos , "Visual Geometry Proofs in a Learning Context", in Workshop on Theorem proving components for Educational software (ThEdu'15), 2016 2015(2 publications) [publication]Quaresma, P. and Baeta, N. , "Current Status of the I2GATP common format", in Automated Deduction in Geometry (ADG2014), 2015 [publication]Quaresma, P. and Vanda Santos and Maric, M. , "A Web Environment for Geometry", in CICM 2015, Conference on Intelligent Computer Mathematics, 2015 2014(3 publications) [publication]Haralambous, Y. and Quaresma, P. , "Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices", in Conferences on Intelligent Computer Mathematics, CICM 2014, 7-11 July 2014, University Coimbra, Portugal. pe, 2014 [publication]Quaresma, P. and Vanda Santos and Moral, J. , "Reproducing a Geometric Working Session", in Conferences on Intelligent Computer Mathematics, CICM 2014, 7-11 July 2014, University Coimbra, Portugal., 2014 [publication]Quaresma, P. and Baeta, N. , "Current Status of the I2GATP Common Format", in 10th International Workshop on Automated Deduction in Geometry, 9-11 July 2014, University of Coimbra, Portugal. , 2014 2013(2 publications) [publication]Quaresma, P. and Vanda Santos and Bouallegue, S. , "The Web Geometry Laboratory Project", in Conferences on Intelligent Computer Mathematics (CICM2013), 2013 [publication]Baeta, N. and Quaresma, P. , "The full angle method on the OpenGeoProver", in ThEdu'13, TP Components for Educational Software, 2013 2012(3 publications) [publication]Vanda Santos and Quaresma, P. , "Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment,", in THedu'11, 2012 [publication]Quaresma, P. , "An XML-Format for Conjectures in Geometry, (Work-in-Progress)", in Conferences on Intelligent Computer Mathematics, CICM 2012, 2012 [citation][year=2013]Chen, Xiaoyu and Wang, Dongming, Formalization and Specification of Geometric Knowledge Objects, MCS 7(4). Doi: 10.1007/s11786-013-0167-4 [publication]Quaresma, P. and Haralambous, Y. , "Geometry Construction Recognition by the Use of Semantic Graphs", in 18th edition of the Portuguese Conference on Pattern Recognitionped, 2012 2011(1 publication) [publication]Quaresma, P. , "TGTP - Thousand of Geometric problems for Theorem Provers", in Workshop on Automated Deduction in Geometry, 2011 [citation][year=2015]Chen, X., Song, D., & Wang, D. (2015). Automated generation of geometric theorems from images of diagrams. Annals of Mathematics and Artificial Intelligence, 74(3-4), 333-358. [citation][year=2014]Chen, Xiaoyu, Representation and automated transformation of geometric statements, JSSC 27,2. Doi: 10.1007/s11424-014-0316-0 [citation][year=2014]Chen, Xiaoyu and Song, Dan and Wang, Dongming, Automated generation of geometric theorems from images of diagrams, Annals of Mathematics and Artificial Intelligence, Springer 2014. DOI: 10.1007/s10472-014-9433-7 [citation][year=2014]Wang, Dongming and Chen, Xiaoyu and An, Wenya and Jiang, Lei and Song, Dan, OpenGeo: An Open Geometric Knowledge Base, LNCS 8592, Springer 2014. Doi: 10.1007/978-3-662-44199-2_38 [citation][year=2013]Formalization and Specification of Geometric Knowledge Objects, X. Chen, D. Wang - Mathematics in Computer Science, 2013 - Springer [citation][year=2012]Xiaoyu Chen, Interfacing Euclidean Geometry Discourse with Diverse Geometry Software (Extended Abstract), Informatics Research Report, ADG2012, School of Informatics, University of Edinburgh, September 2012. 2010(1 publication) [publication]Vanda Santos and Quaresma, P. , "Laboratório de Geometria na Rede", in Congresso Iberoamericano de Informática Educativa, IE 2010, 2010 2008(1 publication) [publication]Vanda Santos and Quaresma, P. , "e-Learning Course for Euclidean Geometry", in The 8th IEEE International Conference on Advanced Learning Technologies, 2008 [citation][year=2011]Research Regarding the Implementation of an Interactive Application for Educational Improvement of Engineering Drawing. Pablo Pando Cerra, Pedro Alvarez Penin, Maximo Perez Morales, Alberto Higuera Garrido Computer Applications in Engineering Education, Volume 19, Issue 1, pages 183-192, March 2011 2007(2 publications) [publication]Quaresma, P. and Pinho, A. , "Análise de Frequências da Língua Portuguesa", in Conferência Ibero-Americana InterTIC 2007, 2007 [publication]Quaresma, P. , "Construção Dinâmica de Documentos PDF em Páginas Web", in Conferência Ibero-Americana InterTIC 2007, 2007 2006(5 publications) [publication]Quaresma, P. and Janicic, P. , "Framework for Constructive Geometry (Based on the Area Method)", 2006 [citation][year=2010]BILLICH, M.: Verification of Geometric Statements in Dynamic Geometry Environment. Usta ad Albim BOHEMICA, ročník X, 2010, číslo 1, s. 1-7. [citation][year=2010]Billich, Martin. Deduction And Proving Of Geometric Statements In Interactive Geometry Environment, South Bohemia Mathematical Letters Volume 18, (2010), No. 1, 39-46. [publication]Quaresma, P. and Janicic, P. , "Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories", in 5th International Conference on Mathematical Knowledge Management (MKM06), 2006 [citation][year=2012]Janicic, Predrag, Julien Narboux, and Pedro Quaresma. "The Area Method." Journal of Automated Reasoning (2012): 1-44. [citation][year=2010]BILLICH, M.: Verification of Geometric Statements in Dynamic Geometry Environment. Usta ad Albim BOHEMICA, ročník X, 2010, číslo 1, s. 1-7. [citation][year=2007]GCLC 7.0/WinGCLC 2007 (Geometry Constructions→ LaTEX Converter) Manual [citation][year=2007]Predrag Janicic and Pedro Quaresma, "Automatic Verification of Regular Constructions in Dynamic Geometry Systems", ADG 2006 (selected papers), LNAI 4869, pp. 39-51, 2007, Springer-Verlag Berlin Heidelberg 2007. [citation][year=2006]Janicic P, GCLC - A tool for constructive euclidean geometry and more than that, MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS LECTURE NOTES IN COMPUTER SCIENCE 4151: 58-73 2006 [publication]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 [citation][year=2015]Marinkovic, V. (2016). ArgoTriCS–automated triangle construction solver. Journal of Experimental & Theoretical Artificial Intelligence, 1-25. [citation][year=2015]Marinkovic, V. (2015). On-line compendium of triangle construction problems with automatically generated solutions. THE TEACHING OF MATHEMATICS, 18(1), 29-44. [citation][year=2015]Billich, M. (2015). The Area Method and Proving Plane Geometry Theorems. In Current Trends in Analysis and Its Applications (pp. 433-439). Springer International Publishing. [citation][year=2014]Chen, Xiaoyu, Representation and automated transformation of geometric statements, JSSC 27,2. Doi: 10.1007/s11424-014-0316-0 [citation][year=2013]Chen, Xiaoyu and Wang, Dongming, Formalization and Specification of Geometric Knowledge Objects, MCS 7(4). Doi: 10.1007/s11786-013-0167-4 [citation][year=2012]Marinkovic, Vesna and Janicic, Predrag, Towards Understanding Triangle Construction Problems, LNCS 7362, Springer 2013. Doi: 10.1007/978-3-642-31374-5_9 [citation][year=2012]Jiang, Jianguo, and Jingzhong Zhang. "A review and prospect of readable machine proofs for geometry theorems." Journal of Systems Science and Complexity 25.4 (2012): 802-820. [citation][year=2012]Xiaoyu Chen, Interfacing Euclidean Geometry Discourse with Diverse Geometry Software (Extended Abstract), Informatics Research Report, ADG2012, School of Informatics, University of Edinburgh, 2012. [citation][year=2011]Génevaux, Jean-David, Julien Narboux, and Pascal Schreck. "Formalization of Wu’s simple method in Coq." Certified Programs and Proofs (2011): 71-86. [citation][year=2010]Janicic, Predrag, Geometry Constructions Language, JAR 44(1-2). Doi: 10.1007/s10817-009-9135-8 [citation][year=2010]BILLICH, M.: Verification of Geometric Statements in Dynamic Geometry Environment. Usta ad Albim BOHEMICA, ročník X, 2010, číslo 1, s. 1-7. [citation][year=2010]Billich, M., Deduction and Proving of Geometric Statements in Interactive Geometry Environment, South Bohemia Mathematical Letters, Volume 18, (2010), No. 1, 39-46. [citation][year=2009]Challenging Mathematics In and Beyond the Classroom The 16th ICMI Study, Peter J. Taylor and Edward J. Barbeau. Chap 2 Challenges Beyond the Classroom - Sources and Organizational Issues. Petar Kenderov, Ali Rejali, Maria G. Bartolini Bussi, Valeria Pandelieva, Karin Richter, Michela Maschietto, Djordje Kadijevich and Peter Taylor [citation][year=2009]Challenging Mathematics In and Beyond the Classroom The 16th ICMI Study, Peter J. Taylor and Edward J. Barbeau. Chap 3 Technological Environments beyond the Classroom. Viktor Freiman, Djordje Kadijevich, Gerard Kuntz, Sergey Pozdnyakov and Ingvill Stedøy [citation][year=2006]Janicic P, GCLC - A tool for constructive euclidean geometry and more than that,MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS LECTURE NOTES IN COMPUTER SCIENCE 4151: 58-73 2006 [publication]Quaresma, P. and Janicic, P. , "Automatic Verification of Regular Constructions in Dynamic Geometry Systems", in Automated Deduction in Geometry, 2006 [citation][year=2012]Maric, Filip and Petrovic, Ivan and Petrovic, Danijela and Janicic, Predrag, Formalization and Implementation of Algebraic Methods in Geometry, EPTCS79. 10.4204/EPTCS.79 [citation][year=2010]Heck, André and Ellermeijer, Ton, Mathematics Assistants: Meeting the Needs of Secondary School Physics Education, Acta Didactica Napocensia, Volume 3, Number 2, 2010. [citation][year=2010]Billich, Martin. Deduction And Proving Of Geometric Statements In Interactive Geometry Environment, South Bohemia Mathematical Letters Volume 18, (2010), No. 1, 39-46. [citation][year=2010]Janicic, Predrag, Geometry Constructions Language, JAR 44(1-2). Doi: 10.1007/s10817-009-9135-8 [publication]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 [citation][year=2014]Chen, Xiaoyu, Representation and automated transformation of geometric statements, JSSC 27,2. Doi: 10.1007/s11424-014-0316-0 [citation][year=2013]Chen, Xiaoyu and Wang, Dongming, Formalization and Specification of Geometric Knowledge Objects, MCS 7(4). Doi: 10.1007/s11786-013-0167-4 [citation][year=2010]Janicic, Predrag, Geometry Constructions Language, JAR 44(1-2). Doi: 10.1007/s10817-009-9135-8 2002(1 publication) [publication]Quaresma, P. , "Construção Modular de Sistemas de Dedução", in CISCI2002, 2002 2001(2 publications) [publication]Quaresma, P. , "The Electronic Publishing Toolbox", in Electronic Media in Mathematics, 2001 [publication]Quaresma, P. , "DCpic, Commutative Diagrams in a (La)TeX Document", in EuroTeX 2001, 2001 1995(1 publication) [publication]Quaresma, P. , "Implementing a Deduction System for a Guarded Commands Procedural Language using a Generic Theorem Prover", in 11th ISAI, 1995 1986(1 publication) [publication]Quaresma, P. and Martins, L. , "A Factorização de Equações numa Aprendizagem Assistida por Computador", in Segundo Encontro Português de Inteligência Artificial, 1986 Edited Books 2019(1 publication) [publication]Quaresma, P. and Neuper, W. ,Proceedings of the 7th International Workshop on Theorem proving components for Educational software , vol. 290, 2019 2018(1 publication) [publication]Quaresma, P. and Neuper, W. ,Proceedings of the 6th International Workshop on Theorem proving components for Educational software , "Proceedings 7th International Workshop on Theorem proving components for Educational software ", vol. 267, 2018 2017(1 publication) [publication]Autexier, S. and Quaresma, P. ,Proceedings of the 12th Workshop on User Interfaces for Theorem Provers , "Proceedings of the 12th Workshop on User Interfaces for Theorem Provers", vol. 239, 2017 2015(1 publication) [publication]Botana, F. and Quaresma, P. ,Proceedings of the Automated Deduction in Geometry, ADG14 , vol. 9201, 2015 2013(1 publication) [publication]Lange, C. and Aspinall, D. and Carette, J. and Davenport, J. and Kohlhase, A. and Kohlhase, M. and Libbrecht, P. and Quaresma, P. and Rabe, F. and Sojka, P. and Whiteside, I. and Windsteiger, W. ,Proceedings of the Workshops and Work in Progress at CICM 2013 , vol. 1010, 2013 2011(1 publication) [publication]Quaresma, P. and Back, R. ,Proceedings of the First Workshop on CTP Components for Educational Software , vol. 79, 2011 2003(1 publication) [publication]Quaresma, P. and António Dourado and Costa, E. and JFCosta, . , "Soft Computing and Complex Systems", vol. 1, 2003 Book Chapters 2019(2 publications) [publication]Quaresma, P. and Vanda Santos , "Computer-generated Geometry Proofs in a Learning Context", in Proof Technology in Research and Teaching, vol. 1, pp. 237-253, 2019 [publication]Quaresma, P. , "Ferramentas Inteligentes para a Geometria", in Alan Turing: Cientista Universal, vol. 1, pp. 165-200, 2019 2015(1 publication) [publication]Vanda Santos and Quaresma, P. , "A Collaborative Environment for Dynamic Geometry Software", in Online Experimentation: Emergent Technologies and IoT, vol. 1, pp. 33-46, 2015 2010(1 publication) [publication]Vanda Santos and Quaresma, P. , "Advances in Learning Processes", pp. 71, 2010 2008(1 publication) [publication]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, pp. 183-197, 2008 PhD Theses 1998(1 publication) [publication]Quaresma, P. , "Construção Modular de Sistemas de Dedução", 1998 MSc Theses 1988(1 publication) [publication]Quaresma, P. , "Estudo Comparativo de Algoritmos para o Problema de Transportes com Custos-Fixos", 1988 Tech Report 2019(1 publication) [publication]Quaresma, P. and Baeta, N. , "Geometry Automated Theorem Provers Systems Competition 0.2 Report", 2019 2016(1 publication) [publication]Quaresma, P. and Neuper, W. , "Proceedings of Workshop on CTP Components for Educational Software (THedu'15)", 2016 2014(3 publications) [publication]Paiva, V.d. and Neuper, W. and Quaresma, P. and Retoré, C. and Moss, L.S. and Saludes, J. , "Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS'14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014)", 2014 [publication]Botana, F. and Quaresma, P. , "Preliminary Proceedings of the ADG 2014, 10th International Workshop on Automated Deduction in Geometry", 2014 [publication]England, M. and Davenport, J. and Kohlhase, A. and Kohlhase, M. and Libbrecht, P. and Neuper, W. and Quaresma, P. and Sexton, A.P. and Sojka, P. and Urban, J. and Watt, S.M. , "Proceedings of the Workshops and Work in Progress at CICM 2014", 2014 2009(2 publications) [publication]Quaresma, P. and Schreye, D.D. , "Preliminary Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009", 2009 [publication]Quaresma, P. and Janicic, P. , "The Area Method, Rigorous Proofs of Lemmas in Hilbert\'s Style Axiom System", 2009 [citation][year=2010]BILLICH, M.: Verification of Geometric Statements in Dynamic Geometry Environment. Usta ad Albim BOHEMICA, ročník X, 2010, číslo 1, s. 1-7. [citation][year=2010]Billich, Martin. Deduction And Proving Of Geometric Statements In Interactive Geometry Environment, South Bohemia Mathematical Letters Volume 18, (2010), No. 1, 39-46. 2006(1 publication) [publication]Quaresma, P. and Janicic, P. , "GeoThms - Geometry Framework", 2006 2002(1 publication) [publication]Quaresma, P. , "Logical Specification of Commutative Diagrams in a (La)TeX Document", 2002