{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:47:36Z","timestamp":1725551256296},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540435938"},{"type":"electronic","value":"9783540460800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46080-2_22","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:13:26Z","timestamp":1269882806000},"page":"211-218","source":"Crossref","is-referenced-by-count":8,"title":["Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Botana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,10]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Botana, F., Valcarce, J. L.: A dynamic-symbolic interface for geometric theorem discovery. Computers and Education, to appear (2002)","DOI":"10.1016\/S0360-1315(01)00089-6"},{"key":"22_CR2","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/978-3-642-56666-0_5","volume-title":"Computer Algebra and Scientific Computing CASC 2001","author":"F. Botana","year":"2001","unstructured":"Botana, F., Valcarce, J. L.: Cooperation between a dynamic geometry environment and a computer algebra system for geometric discovery. In V. G. Ganzha, E. W. Mayr, E. V. Vorozhtsov, Computer Algebra and Scientific Computing CASC 2001, Springer, Berlin, 63\u201374 (2001)"},{"key":"22_CR3","volume-title":"Technical Report","author":"F. Botana","year":"2001","unstructured":"Botana, F., Valcarce, J. L.: A software tool for investigation of plane loci. Technical Report, University of Vigo, Pontevedra (2001)"},{"key":"22_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":"22_CR5","unstructured":"Capani, A., Niesi, G.L. Robbiano: CoCoA, a system for doing Computations in Commutative Algebra. Available via anonymous ftp from: http:\/\/cocoa.dima.unige.it"},{"key":"22_CR6","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1090\/conm\/029\/14","volume":"29","author":"S. C. Chou","year":"1984","unstructured":"Chou, S. C: Proving Elementary Geometry Theorems Using Wu\u2019s Algorithm. Automated Theorem Proving: After 25 years, Contemporary Mathematics, AMS, 29, 243\u2013286 (1984)","journal-title":"Automated Theorem Proving: After 25 years"},{"key":"22_CR7","volume-title":"Geometry Expert","author":"X. S. Gao","year":"1998","unstructured":"Gao, X. S., Zhang, J. Z., Chou, S. C: Geometry Expert. Nine Chapters Publ. Taiwan (1998)"},{"issue":"6","key":"22_CR8","doi-asserted-by":"publisher","first-page":"574","DOI":"10.2307\/2589470","volume":"106","author":"M. Guzman","year":"1999","unstructured":"Guzman, M.: An extension of the Wallace\u2014Simson theorem: projecting in arbitrary directions. American Mathematical Monthly, 106(6), 574\u2013580 (1999)","journal-title":"American Mathematical Monthly"},{"key":"22_CR9","volume-title":"The Geometer\u2019s Sketchpad","author":"N. Jackiw","year":"1997","unstructured":"Jackiw, N.: The Geometer\u2019s Sketchpad. Key Curriculum Press, Berkeley (1997)"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Kapur, D.: Geometry theorem proving using Hubert\u2019s Nullstellensatz. In Proc. SYMSAC\u201986, Waterloo, 202\u2013208, ACM Press (1986)","DOI":"10.1145\/32439.32479"},{"key":"22_CR11","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\u201394 (1988)","journal-title":"Artificial Intelligence"},{"key":"22_CR12","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":"22_CR13","volume-title":"Geometry Turned On","author":"J. King","year":"1997","unstructured":"King, J., Schattschneider, D.: Geometry Turned On. MAA, Washington (1997)"},{"key":"22_CR14","volume-title":"Ph. D. Thesis","author":"U. Kortenkamp","year":"1999","unstructured":"Kortenkamp, U.: Foundations of dynamic geometry. Ph. D. Thesis, ETH, Zurich (1999)"},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/S0747-7171(86)80006-2","volume":"2","author":"B. Kutzler","year":"1986","unstructured":"Kutzler, B., Stifter, S.: On the application of Buchberger\u2019s algorithm to automated geometry theorem proving. Journal of Symbolic Computation, 2, 389\u2013397 (1986)","journal-title":"Journal of Symbolic Computation"},{"key":"22_CR16","volume-title":"Cabri Geometry II","author":"J. M. Laborde","year":"1998","unstructured":"Laborde, J. M., Bellemain, F.: Cabri Geometry II. Texas Instruments, Dallas (1998)"},{"key":"22_CR17","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"},{"key":"22_CR18","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":"22_CR19","first-page":"67","volume":"53","author":"E. Roanes-Mac\u00edas","year":"1999","unstructured":"Roanes-Mac\u00edas, E., Roanes-Lozano, E.: B\u00fasqueda autom\u00e1tica de lugares geom\u00e9tricos. Proceedings Spanish Educ. Session IMACS\u2014ACA\u2019 99, Bolet\u00edn Sociedad Puig Adam de Prof. de Matem\u00e1ticas, 53, 67\u201377 (1999)","journal-title":"Bolet\u00edn Sociedad Puig Adam de Prof. de Matem\u00e1ticas"},{"key":"22_CR20","unstructured":"Roanes-Mac\u00edas, E., Roanes-Lozano, E.: Automatic determination of geometric loci. 3D\u2014extension of Simson\u2014Steiner theorem. Proceedings of Artificial Intelligence and Symbolic Computation 2000, Lecture Notes in Artificial Intelligence, 1930, 157\u2013173 (2000)"},{"key":"22_CR21","volume-title":"Technical Report","author":"J. L. Valcarce","year":"2001","unstructured":"Valcarce, J. L., Botana, F.: Lugares. Manual de Referencia. Technical Report, University of Vigo, Pontevedra (2001) http:\/\/rosalia.uvigo.es\/sdge\/lugares"},{"key":"22_CR22","volume-title":"The Mathematica book","author":"S. Wolfram","year":"1996","unstructured":"Wolfram, S.: The Mathematica book. Cambridge University Press, Cambridge (1996)"},{"key":"22_CR23","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 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46080-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T15:09:07Z","timestamp":1558969747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46080-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540435938","9783540460800"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-46080-2_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}