{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:02:08Z","timestamp":1760061728203},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540773559"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77356-6_3","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T11:23:13Z","timestamp":1196940193000},"page":"39-51","source":"Crossref","is-referenced-by-count":11,"title":["Automatic Verification of Regular Constructions in Dynamic Geometry Systems"],"prefix":"10.1007","author":[{"given":"Predrag","family":"Jani\u010di\u0107","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Quaresma","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.entcs.2004.09.013","volume":"103","author":"Y. Bertot","year":"2004","unstructured":"Bertot, Y., Guilhot, F., Pottier, L.: Visualizing geometrical statements with GeoView. Electr. Notes Theor. Comput. Sci.\u00a0103, 49\u201365 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0360-1315(01)00089-6","volume":"38","author":"F. Botana","year":"2002","unstructured":"Botana, F., Valcarce, J.L.: A dynamic-symbolic interface for geometric theorem discovery. Computers and Education\u00a038, 21\u201335 (2002)","journal-title":"Computers and Education"},{"issue":"4","key":"3_CR3","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1016\/j.jal.2005.10.006","volume":"4","author":"B. Buchberger","year":"2006","unstructured":"Buchberger, B., Craciun, A., Jebelean, T., Kovacs, L., Kutsia, T., Nakagawa, K., Piroi, F., Popov, N., Robu, J., Rosenkranz, M., Windsteiger, W.: Theorema: Towards computer-aided mathematical theory exploration. Journal of Applied Logic\u00a04(4), 470\u2013504 (2006)","journal-title":"Journal of Applied Logic"},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/LICS.1993.287601","volume-title":"LICS. Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science","author":"S.-C. Chou","year":"1993","unstructured":"Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Automated production of traditional proofs for constructive geometry theorems. In: Vardi, M. (ed.) LICS. Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science, pp. 48\u201356. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BF00283133","volume":"17","author":"S.-C. Chou","year":"1996","unstructured":"Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Automated generation of readable proofs with geometric invariants, I. multiple and shortest proof generation. Journal of Automated Reasoning\u00a017, 325\u2013347 (1996)","journal-title":"Journal of Automated Reasoning"},{"key":"3_CR6","unstructured":"Fuchs, K., Hohenwarter, M.: Combination of dynamic geometry, algebra and calculus in the software system geogebra. In: Computer Algebra Systems and Dynamic Geometry Systems in Mathematics Teaching Conference 2004, Pecs, Hungary, pp. 128\u2013133 (2004)"},{"key":"3_CR7","unstructured":"Gao, X.-S.: GEX, \n                  \n                    http:\/\/www.mmrc.iss.ac.cn\/~xgao\/software.html"},{"key":"3_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/978-3-540-24616-9_4","volume-title":"Automated Deduction in Geometry","author":"X.-S. Gao","year":"2004","unstructured":"Gao, X.-S., Lin, Q.: MMP\/Geometer - a software package for automated geometric reasoning. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol.\u00a02930, pp. 44\u201366. Springer, Heidelberg (2004)"},{"key":"3_CR9","unstructured":"Gao, X.S., Lin, Q.: MMP\/Geometer, \n                  \n                    http:\/\/www.mmrc.iss.ac.cn\/~xgao\/software.html"},{"key":"3_CR10","unstructured":"Jackiw, N.: The Geometer\u2019s Sketchpad v4.0. In: Emeryville: Key Curriculum Press (2001)"},{"key":"3_CR11","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.\u00a04151, pp. 58\u201373. Springer, Heidelberg (2006)"},{"key":"3_CR12","series-title":"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.\u00a04130, pp. 145\u2013150. Springer, Heidelberg (2006)"},{"key":"3_CR13","unstructured":"Kortenkamp, U., Richter-Gebert, J.: Using automatic theorem proving to improve the usability of geometry software. In: Procedings of the Mathematical User-Interfaces Workshop 2004 (2004)"},{"issue":"5","key":"3_CR14","first-page":"171","volume":"90","author":"J.M. Laborde","year":"1990","unstructured":"Laborde, J.M., Str\u00e4sser, R.: Cabri-g\u00e9om\u00e8tre: A microworld of geometry guided discovery learning. International reviews on mathematical education- Zentralblatt fuer didaktik der mathematik\u00a090(5), 171\u2013177 (1990)","journal-title":"International reviews on mathematical education- Zentralblatt fuer didaktik der mathematik"},{"key":"3_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/11615798_9","volume-title":"Automated Deduction in Geometry","author":"T. Liang","year":"2006","unstructured":"Liang, T., Wang, D.: Towards a geometric-object-oriented language. In: Hong, H., Wang, D. (eds.) ADG 2004. LNCS (LNAI), vol.\u00a03763, pp. 130\u2013155. Springer, Heidelberg (2006)"},{"key":"3_CR16","unstructured":"Liang, T., Wang, D.: Geometric constraint handling in Gool. In: Automated Deduction in Geometry, pp. 66\u201373 (2006)"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/B:JARS.0000021960.39761.b7","volume":"32","author":"N. Matsuda","year":"2004","unstructured":"Matsuda, N., Vanlehn, K.: Gramy: A geometry theorem prover capable of construction. Journal of Automated Reasoning\u00a032, 3\u201333 (2004)","journal-title":"Journal of Automated Reasoning"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/978-3-540-30142-4_17","volume-title":"Theorem Proving in Higher Order Logics","author":"J. Narboux","year":"2004","unstructured":"Narboux, J.: A decision procedure for geometry in Coq. In: Slind, K., Bunker, A., Gopalakrishnan, G.C. (eds.) TPHOLs 2004. LNCS, vol.\u00a03223, pp. 225\u2013240. Springer, Heidelberg (2004)"},{"key":"3_CR19","unstructured":"Obrecht, C.: Eukleides, \n                  \n                    http:\/\/www.eukleides.org\/"},{"key":"3_CR20","unstructured":"Quaresma, P., Jani\u010di\u0107, P.: Framework for constructive geometry (based on the area method). Technical Report 2006\/001, Centre for Informatics and Systems of the University of Coimbra (2006)"},{"key":"3_CR21","unstructured":"Quaresma, P., Jani\u010di\u0107, P.: GeoThms - geometry framework. Technical Report 2006\/002, Centre for Informatics and Systems of the University of Coimbra (2006)"},{"key":"3_CR22","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":"3_CR23","first-page":"38","volume":"151","author":"P. Quaresma","year":"2006","unstructured":"Quaresma, P., Pereira, A.: Visualiza\u00e7\u00e3o de constru\u00e7\u00f5es geom\u00e9tricas. Gazeta de Matem\u00e1tica\u00a0151, 38\u201341 (2006)","journal-title":"Gazeta de Matem\u00e1tica"},{"key":"3_CR24","volume-title":"The Interactive Geometry Software Cinderella","author":"J. Richter-Gebert","year":"1999","unstructured":"Richter-Gebert, J., Kortenkamp, U.: The Interactive Geometry Software Cinderella. Springer, Heidelberg (1999)"},{"key":"3_CR25","unstructured":"Cabri\u00a0Web site, \n                  \n                    http:\/\/www.cabri.com"},{"key":"3_CR26","unstructured":"Cinderella\u00a0Web site, \n                  \n                    http:\/\/www.cinderella.de"},{"key":"3_CR27","unstructured":"Geometer\u2019s Sketchpad\u00a0Web site, \n                  \n                    http:\/\/www.keypress.com\/sketchpad\/"},{"key":"3_CR28","unstructured":"Wang, D.: Geother (geometry theorem prover), \n                  \n                    http:\/\/www-calfor.lip6.fr\/~wang\/GEOTHER\/"},{"key":"3_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/978-3-540-24616-9_12","volume-title":"Automated Deduction in Geometry","author":"D. Wang","year":"2004","unstructured":"Wang, D.: GEOTHER 1.1: Handling and proving geometric theorems automatically. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol.\u00a02930, pp. 194\u2013215. Springer, Heidelberg (2004)"},{"key":"3_CR30","unstructured":"Wilson, S., Fleuriot, J.: Combining dynamic geometry, automated geometry theorem proving and diagrammatic proofs. In: Proceedings of UITP 2005, Edinburgh, UK (April 2005)"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77356-6_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:09:24Z","timestamp":1619521764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77356-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540773559"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77356-6_3","relation":{},"subject":[]}}