{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T12:10:01Z","timestamp":1737375001454,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401940"},{"type":"electronic","value":"9783540448600"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44860-8_83","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T12:12:47Z","timestamp":1187266367000},"page":"801-810","source":"Crossref","is-referenced-by-count":10,"title":["A Web-Based Intelligent System for Geometric Discovery"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Botana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"issue":"1\u20133","key":"83_CR1","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, 38(1\u20133), 21\u201335 (2002)","journal-title":"Computers and Education"},{"key":"83_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/3-540-46080-2_22","volume-title":"Proc. I Int. Workshop on Computer Graphics and Geometric Modelling CGGM\u20192002","author":"F. Botana","year":"2002","unstructured":"Botana, F.: Interactive versus symbolic approaches to plane loci generation in dynamic geometry environments. Proc. I Int. Workshop on Computer Graphics and Geometric Modelling CGGM\u20192002, Lecture Notes in Computer Science, 2330, 211\u2013218 (2002)"},{"issue":"2","key":"83_CR3","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0378-4754(02)00173-8","volume":"61","author":"F. Botana","year":"2003","unstructured":"Botana, F., Valcarce, J.L.: A software tool for the investigation of plane loci. Mathematics and Computers in Simulation, 61(2), 141\u2013154 (2003)","journal-title":"Mathematics and Computers in Simulation"},{"key":"83_CR4","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-94-009-5225-6_6","volume-title":"Multidimensional systems theory","author":"B. Buchberger","year":"1985","unstructured":"Buchberger, B.: Groebner bases: an algorithmic method in polynomial ideal theory. In N.K. Bose, Multidimensional systems theory, Reidel, Dordrecht, 184\u2013232 (1985)"},{"key":"83_CR5","unstructured":"Capani, A., Niesi, G., Robbiano, L.: CoCoA, a system for doing Computations in Commutative Algebra. Available via anonymous ftp from: ftp:\/\/ftp:cocoa.dima.unige.it"},{"key":"83_CR6","volume-title":"Mechanical Geometry Theorem Proving","author":"S.C. Chou","year":"1988","unstructured":"Chou, S.C.: Mechanical Geometry Theorem Proving. Reidel, Dordrecht (1988)"},{"key":"83_CR7","volume-title":"Machine Proofs in Geometry","author":"S.C. Chou","year":"1988","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Machine Proofs in Geometry. World Scientific, Singapore (1988)"},{"key":"83_CR8","volume-title":"Geometry Expert","author":"X.S. Gao","year":"1998","unstructured":"Gao, X.S., Zhang, J.Z., Chou, S.C.: Geometry Expert. Nine Chapters, Taiwan (1998)"},{"key":"83_CR9","doi-asserted-by":"crossref","unstructured":"Gerlentner, H., Hansen, J.R., Loveland, D.W.: Empirical explorations of the geometry theorem proving machine. Proc. West. Joint Computer Conf., 143\u2013147 (1960)","DOI":"10.1145\/1460361.1460381"},{"issue":"6","key":"83_CR10","doi-asserted-by":"publisher","first-page":"574","DOI":"10.2307\/2589470","volume":"106","author":"M. Guzm\u00e1n","year":"1999","unstructured":"Guzm\u00e1n, M.: An extension of the Wallace-Simson theorem: projecting in arbitrary directions. American Mathematical Monthly, 106(6), 574\u2013580 (1999)","journal-title":"American Mathematical Monthly"},{"issue":"1\u20132","key":"83_CR11","first-page":"5","volume":"44","author":"G. Hanna","year":"2002","unstructured":"Hanna, G.: Proof, explanation and exploration: an overview. Educational Studies in Mathematics, 44(1\u20132), 5\u201323 (2002)","journal-title":"Educational Studies in Mathematics"},{"key":"83_CR12","volume-title":"The Geometer\u2019s Sketchpad v 4.0","author":"N. Jackiw","year":"2002","unstructured":"Jackiw, N.: The Geometer\u2019s Sketchpad v 4.0. Key Curriculum Press, Berkeley (2002)"},{"key":"83_CR13","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/S0747-7171(86)80007-4","volume":"2","author":"D. Kapur","year":"1986","unstructured":"Kapur, D.: Using Groebner bases to reason about geometry problems. Journal of Symbolic Computation, 2, 399\u2013408 (1986)","journal-title":"Journal of Symbolic Computation"},{"key":"83_CR14","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(88)90050-1","volume":"37","author":"D. Kapur","year":"1988","unstructured":"Kapur, D.: A refutational approach to geometry theorem proving. Artificial Intelligence, 37, 61\u201393 (1988)","journal-title":"Artificial Intelligence"},{"key":"83_CR15","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0004-3702(88)90048-3","volume":"37","author":"D. Kapur","year":"1988","unstructured":"Kapur, D., Mundy, J.L.: Wu\u2019s method and its application to perspective viewing. Artificial Intelligence, 37, 15\u201336 (1988)","journal-title":"Artificial Intelligence"},{"key":"83_CR16","volume-title":"Geometry Turned On","author":"J. King","year":"1997","unstructured":"King, J., Schattschneider, D.:Geometry Turned On. MAA, Washington (1997)"},{"key":"83_CR17","volume-title":"Cabri Geometry II","author":"J. M. Laborde","year":"1998","unstructured":"Laborde, J. M., Bellemain, F.: Cabri Geometry II. Texas Instruments, Dallas (1998)"},{"issue":"5","key":"83_CR18","first-page":"171","volume":"22","author":"J.M. Laborde","year":"1990","unstructured":"Laborde, J.M., Straesser, R.: Cabri G\u00e9om\u00e8tre, a microworld of geometry for guided discovery learning. Zentralblatt f\u00fcr Didaktik der Mathematik, 22(5), 171\u2013177 (1990)","journal-title":"Zentralblatt f\u00fcr Didaktik der Mathematik"},{"issue":"1\u20132","key":"83_CR19","first-page":"151","volume":"44","author":"C. Laborde","year":"2002","unstructured":"Laborde, C.: Dynamic geometry environments as a source of rich learning contexts for the complex activity of proving. Educational Studies in Mathematics, 44(1\u20132), 151\u2013161 (2002)","journal-title":"Educational Studies in Mathematics"},{"key":"83_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(75)90013-2","volume":"6","author":"A.J. Nevins","year":"1975","unstructured":"Nevins, A.J.: Plane geometry theorem proving using forward chaining. Artificial Intelligence, 6, 1\u201323 (1975)","journal-title":"Artificial Intelligence"},{"key":"83_CR21","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1006135322108","volume":"23","author":"T. Recio","year":"1999","unstructured":"Recio, T., V\u00e9lez, M. P.: Automatic discovery of theorems in elementary geometry. Journal of Automated Reasoning, 23, 63\u201382 (1999)","journal-title":"Journal of Automated Reasoning"},{"issue":"4","key":"83_CR22","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1109\/TC.1976.1674613","volume":"C-25","author":"R. Reiter","year":"1976","unstructured":"Reiter, R.: A semantically guided deductive system for automatic theorem proving. IEEE Transactions on Computers, C-25(4), 328\u2013334 (1976)","journal-title":"IEEE Transactions on Computers"},{"key":"83_CR23","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, Berlin (1999)"},{"key":"83_CR24","unstructured":"Valcarce, J.L., Botana, F.: webREX. Available from: http:\/\/rosalia.uvigo.es\/sdge\/web\/2D\/webREXDemo.zip"},{"key":"83_CR25","volume-title":"Mechanical Theorem Proving in Geometries","author":"W. T. Wu","year":"1994","unstructured":"Wu, W. T.: Mechanical Theorem Proving in Geometries. Springer, Vienna (1994)"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2014 ICCS 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44860-8_83","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T11:40:53Z","timestamp":1737373253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44860-8_83"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401940","9783540448600"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-44860-8_83","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}