{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:04:17Z","timestamp":1743073457450,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319213613"},{"type":"electronic","value":"9783319213620"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21362-0_8","type":"book-chapter","created":{"date-parts":[[2015,7,17]],"date-time":"2015-07-17T01:56:52Z","timestamp":1437098212000},"page":"119-128","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Current Status of the I2GATP Common Format"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Quaresma","sequence":"first","affiliation":[]},{"given":"Nuno","family":"Baeta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,18]]},"reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/s11424-014-0316-0","volume":"27","author":"X Chen","year":"2014","unstructured":"Chen, X.: Representation and automated transformation of geometric statements. J. Syst. Sci. Complex. 27(2), 382\u2013412 (2014)","journal-title":"J. Syst. Sci. Complex."},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/11832225_6","volume-title":"Mathematical Software - ICMS 2006","author":"P Jani\u010di\u0107","year":"2006","unstructured":"Jani\u010di\u0107, P.: GCLC \u2014 a tool for constructive euclidean geometry and more than that. In: Iglesias, A., Takayama, N. (eds.) ICMS 2006. LNCS, vol. 4151, pp. 58\u201373. Springer, Heidelberg (2006)"},{"issue":"4","key":"8_CR3","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/s10817-010-9209-7","volume":"48","author":"P Jani\u010di\u0107","year":"2012","unstructured":"Jani\u010di\u0107, P., Narboux, J., Quaresma, P.: The area method: a recapitulation. J. Autom. Reasoning 48(4), 489\u2013532 (2012)","journal-title":"J. Autom. Reasoning"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/11814771_13","volume-title":"Automated Reasoning","author":"P Jani\u010di\u0107","year":"2006","unstructured":"Jani\u010di\u0107, P., Quaresma, P.: System description: GCLCprover + Geothms. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 145\u2013150. Springer, Heidelberg (2006)"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-77356-6_3","volume-title":"Automated Deduction in Geometry","author":"P Jani\u010di\u0107","year":"2007","unstructured":"Jani\u010di\u0107, P., Quaresma, P.: Automatic verification of regular constructions in dynamic geometry systems. In: Botana, F., Recio, T. (eds.) ADG 2006. LNCS (LNAI), vol. 4869, pp. 39\u201351. Springer, Heidelberg (2007)"},{"key":"8_CR6","unstructured":"Kortenkamp, U., Blessing, A.M., Dohrmann, C., Kreis, Y., Libbrecht, P., Mercat, C.: Interoperable interactive geometry for europe-first technological and educational results and future challenges of the intergeo project. In: CERME, vol. 6 (2006)"},{"key":"8_CR7","unstructured":"Kortenkamp, U., Dohrmann, C., Kreis, Y., Dording, C., Libbrecht, P., Mercat, C.: Using the intergeo platform for teaching and research. In: Proceedings of the 9th International Conference on Technology in Mathematics Teaching (ICTMT-9) (2009)"},{"key":"8_CR8","unstructured":"Narboux, J.: Formalization of the area method. Coq user contribution (2009). http:\/\/dpt-info.u-strasbg.fr\/narboux\/area_method.html"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/0168-0072(95)00005-2","volume":"76","author":"J von Plato","year":"1995","unstructured":"von Plato, J.: The axioms of constructive geometry. Ann. Pure Appl. Logic 76, 169\u2013200 (1995)","journal-title":"Ann. Pure Appl. Logic"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Quaresma, P., Jani\u010di\u0107, P., Toma\u0161evi\u0107, J., Vujo\u0161evi\u0107-Jani\u010di\u0107, M., To\u0161i\u0107, D.: XML-bases format for descriptions of geometric constructions and proofs. In: Communicating Mathematics in The Digital Era, pp. 183\u2013197. A. K. Peters, Ltd., Wellesley (2008)","DOI":"10.1201\/b10587-16"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-642-25070-5_10","volume-title":"Automated Deduction in Geometry","author":"P Quaresma","year":"2011","unstructured":"Quaresma, P.: Thousands of geometric problems for geometric theorem provers (TGTP). In: Schreck, P., Narboux, J., Richter-Gebert, J. (eds.) ADG 2010. LNCS, vol. 6877, pp. 169\u2013181. Springer, Heidelberg (2011)"},{"key":"8_CR12","unstructured":"Quaresma, P.: An XML-format for conjectures in geometry. In: Davenport, J., Jeuring, J., Lange, C., Libbrecht, P. (eds.) CEUR Workshop Proceedings of 24th OpenMath Workshop, 7th Workshop on Mathematical User Interfaces (MathUI), and Work in Progress, vol. 921, pp. 54\u201365, Aachen (2012)"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-642-39320-4_30","volume-title":"Intelligent Computer Mathematics","author":"P Quaresma","year":"2013","unstructured":"Quaresma, P., Santos, V., Bouallegue, S.: The web geometry laboratory project. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds.) CICM 2013. LNCS, vol. 7961, pp. 364\u2013368. Springer, Heidelberg (2013)"},{"key":"8_CR14","unstructured":"Santiago, E., Hendriks, M., Kreis, Y., Kortenkamp, U., Marqu\u00e8s, D.: i2g Common File Format Final Version. Technical report. D3.10, The Intergeo Consortium (2010). http:\/\/i2geo.net\/xwiki\/bin\/view\/I2GFormat\/"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Santos, V., Quaresma, P.: Integrating DGSs and GATPs in an adaptative and collaborative blended-learning Web-environment. In: First Workshop on CTP Components for Educational Software (THedu 2011). EPTCS, vol. 79, pp. 111\u2013123 (2012)","DOI":"10.4204\/EPTCS.79.7"},{"key":"8_CR16","unstructured":"Santos, V., Quaresma, P.: Collaborative aspects of the WGL project. Mathematics and Technology LLC. Electron. J. Math. Technol. 7(6) (2013). https:\/\/php.radford.edu\/~ejmt\/ContentIndex.php#v7n6"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1007\/978-3-319-08434-3_28","volume-title":"Intelligent Computer Mathematics","author":"S Stojanovi\u0107","year":"2014","unstructured":"Stojanovi\u0107, S., Narboux, J., Bezem, M., Jani\u010di\u0107, P.: A vernacular for coherent logic. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 388\u2013403. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21362-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T20:15:08Z","timestamp":1674245708000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21362-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319213613","9783319213620"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21362-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"18 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}