{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:55:41Z","timestamp":1725738941625},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642393198"},{"type":"electronic","value":"9783642393204"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39320-4_30","type":"book-chapter","created":{"date-parts":[[2013,7,1]],"date-time":"2013-07-01T07:22:52Z","timestamp":1372663372000},"page":"364-368","source":"Crossref","is-referenced-by-count":6,"title":["The Web Geometry Laboratory Project"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Quaresma","sequence":"first","affiliation":[]},{"given":"Vanda","family":"Santos","sequence":"additional","affiliation":[]},{"given":"Seifeddine","family":"Bouallegue","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"30_CR1","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. Journal of Automated Reasoning\u00a048(4), 489\u2013532 (2012)","journal-title":"Journal of Automated Reasoning"},{"key":"30_CR2","series-title":"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.\u00a04869, pp. 39\u201351. Springer, Heidelberg (2007)"},{"key":"30_CR3","series-title":"LNAI","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 (LNAI), vol.\u00a06877, pp. 169\u2013181. Springer, Heidelberg (2011)"},{"key":"30_CR4","unstructured":"Quaresma, P., Haralambous, Y.: Geometry Constructions Recognition by the Use of Semantic Graphs. In: Atas da XVIII Confer\u00eancia Portuguesa de Reconhecimento de Padr\u00f5es, RecPad 2012, Tipografia Damasceno, Coimbra (2012)"},{"key":"30_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/11812289_22","volume-title":"Mathematical Knowledge Management","author":"P. Quaresma","year":"2006","unstructured":"Quaresma, P., Jani\u010di\u0107, P.: Integrating dynamic geometry software, deduction systems, and theorem repositories. In: Borwein, J.M., Farmer, W.M. (eds.) MKM 2006. LNCS (LNAI), vol.\u00a04108, pp. 280\u2013294. Springer, Heidelberg (2006)"},{"key":"30_CR6","unstructured":"Santos, V., Quaresma, P.: Collaborative aspects of the WGL project. Electronic Journal of Mathematics & Technology (to appear, 2013)"},{"key":"30_CR7","unstructured":"Wikipedia. List of interactive geometry software (April 2013), \n                    \n                      http:\/\/en.wikipedia.org\/wiki\/List_of_interactive_geometry_software"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39320-4_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T02:10:16Z","timestamp":1557886216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39320-4_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642393198","9783642393204"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39320-4_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}