{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:03:02Z","timestamp":1760061782395},"reference-count":21,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computers & Education"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1016\/s0360-1315(01)00089-6","type":"journal-article","created":{"date-parts":[[2002,10,10]],"date-time":"2002-10-10T19:00:31Z","timestamp":1034276431000},"page":"21-35","source":"Crossref","is-referenced-by-count":39,"title":["A dynamic\u2013symbolic interface for geometric theorem discovery"],"prefix":"10.1016","volume":"38","author":[{"given":"Francisco","family":"Botana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 L.","family":"Valcarce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0360-1315(01)00089-6_BIB1","series-title":"Cabri geometry II","author":"Baulac","year":"1994"},{"key":"10.1016\/S0360-1315(01)00089-6_BIB2","doi-asserted-by":"crossref","unstructured":"Botana F., & Valcarce J. L. (2001). Cooperation between a dynamic geometry environment and a computer algebra system for geometric discovery. In V. G. Ganzha, E. W. Mayr, & E. V. Vorozhtsov (Eds.), Computer algebra and scientific computing (pp. 63\u201374). Springer: Berlin.","DOI":"10.1007\/978-3-642-56666-0_5"},{"key":"10.1016\/S0360-1315(01)00089-6_BIB3","series-title":"Multidimensional systems theory","first-page":"184","article-title":"Groebner bases: an algorithmic method in polynomial ideal theory","author":"Buchberger","year":"1985"},{"key":"10.1016\/S0360-1315(01)00089-6_BIB4","unstructured":"Capani, A, Niesi, G. & Robbiano, L. (2001). CoCoA, a system for doing computations in conmutative algebra. Available via anonymous ftp: cocoa.dima.unige.it."},{"key":"10.1016\/S0360-1315(01)00089-6_BIB6","series-title":"Mechanical geometry theorem proving","author":"Chou","year":"1987"},{"key":"10.1016\/S0360-1315(01)00089-6_BIB5","series-title":"Handbook of research on mathematical teaching and learning","first-page":"420","article-title":"Geometry and spatial reasoning","author":"Clemens","year":"1992"},{"key":"10.1016\/S0360-1315(01)00089-6_BIB7","series-title":"Geometry expert","author":"Gao","year":"1998"},{"key":"10.1016\/S0360-1315(01)00089-6_BIB8","series-title":"Computers and thought","first-page":"134","article-title":"Realization of a geometry theorem proving machine","author":"Gelernter","year":"1963"},{"key":"10.1016\/S0360-1315(01)00089-6_BIB10","series-title":"Designing learning environments for developing understanding of geometry and space","first-page":"351","article-title":"What Is Dynamic Geometry?","author":"Goldenberg","year":"1998"},{"issue":"2","key":"10.1016\/S0360-1315(01)00089-6_BIB11","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF03338846","article-title":"The ongoing value of proof","volume":"18","author":"Hanna","year":"1997","journal-title":"Journal mathematik didaktik"},{"key":"10.1016\/S0360-1315(01)00089-6_BIB12","series-title":"The Geometer's Sketchpad, v3.0","author":"Jackiw","year":"1995"},{"issue":"6","key":"10.1016\/S0360-1315(01)00089-6_BIB13","doi-asserted-by":"crossref","first-page":"574","DOI":"10.2307\/2589470","article-title":"An extension of the Wallace-Simson theorem: projecting in arbitrary directions","volume":"106","author":"Guzm\u00e1n","year":"1999","journal-title":"American Math. Monthly"},{"key":"10.1016\/S0360-1315(01)00089-6_BIB14","series-title":"Geometry turned on","first-page":"129","article-title":"Using the geometer's sketchpad with preservice teachers","author":"Jiang","year":"1997"},{"key":"10.1016\/S0360-1315(01)00089-6_BIB15","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0004-3702(88)90048-3","article-title":"Wu's method and its application to perspective viewing","volume":"37","author":"Kapur","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0360-1315(01)00089-6_BIB16","series-title":"Automated theorem proving: After 25 years","first-page":"287","article-title":"Automated theory formation in mathematics","author":"Lenat","year":"1984"},{"key":"10.1016\/S0360-1315(01)00089-6_BIB17","series-title":"Fallacies in mathematics","author":"Maxwell","year":"1959"},{"key":"10.1016\/S0360-1315(01)00089-6_BIB18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(75)90013-2","article-title":"Plane geometry theorem proving using forward chaining","volume":"6","author":"Nevins","year":"1975","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0360-1315(01)00089-6_BIB19","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1023\/A:1006135322108","article-title":"Automatic discovery of theorems in elementary geometry","volume":"23","author":"Recio","year":"1999","journal-title":"Journal of automated reasoning"},{"key":"10.1016\/S0360-1315(01)00089-6_BIB20","series-title":"The interactive geometry software Cinderella","author":"Richter-Gebert","year":"1999"},{"key":"10.1016\/S0360-1315(01)00089-6_BIB21","unstructured":"Tall, D. (1995). Cognitive development, representations and proof. In Proceedings of the conference Justifying and Proving in School Mathematics, Institute of Education, London, 27\u201338."},{"key":"10.1016\/S0360-1315(01)00089-6_BIB22","series-title":"Mechanical theorem proving in geometries","author":"Wu","year":"1994"}],"container-title":["Computers & Education"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0360131501000896?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0360131501000896?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T00:29:05Z","timestamp":1556584145000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0360131501000896"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":21,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2002,1]]}},"alternative-id":["S0360131501000896"],"URL":"https:\/\/doi.org\/10.1016\/s0360-1315(01)00089-6","relation":{},"ISSN":["0360-1315"],"issn-type":[{"value":"0360-1315","type":"print"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}