{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T13:26:38Z","timestamp":1748265998356},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642626845"},{"type":"electronic","value":"9783642566660"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-3-642-56666-0_5","type":"book-chapter","created":{"date-parts":[[2011,7,18]],"date-time":"2011-07-18T18:13:00Z","timestamp":1311012780000},"page":"63-74","source":"Crossref","is-referenced-by-count":5,"title":["Cooperation between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery"],"prefix":"10.1007","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":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","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":"5_CR2","first-page":"141","volume-title":"Proc. 5th Int. Conf. on Applied Algebra, Algebraic Algorithms and Error Correcting Codes","author":"G Carra","year":"1989","unstructured":"Carra, G., Gallo, G.: A procedure to prove geometrical statements. In L. Huguet, A. Poli, Proc. 5th Int. Conf. on Applied Algebra, Algebraic Algorithms and ErrorCorrecting Codes, LNCS, 356, 141\u2013150. Springer, Berlin (1989)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1090\/conm\/029\/14","volume":"29","author":"SC 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":"5_CR4","unstructured":"Capani, A., Niesi, G.,L. Robbiano: CoCoA, a system for doing Computations in Commutative Algebra. Available via anonymous ftp from: cocoa.dima.unige.it"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Gao, X. S.: Automated Geometry Diagram Construction and Engineering Geometry. In Proc. ADG \u201898, Beijing, 232\u2013257, Springer (1998)","DOI":"10.1007\/3-540-47997-X_12"},{"key":"5_CR6","unstructured":"Gao, X. S., Zhang, J. Z., Chou, S. C.: Geometry Expert. Nine Chapters Pub!. Taiwan (1998)"},{"issue":"6","key":"5_CR7","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-Simson theorem: projecting in arbitrary directions. American Mathematical Monthly, 106(6), 574\u2013580 (1999)","journal-title":"American Mathematical Monthly"},{"key":"5_CR8","volume-title":"The Geometer\u2019s Sketchpad","author":"N Jackiw","year":"1997","unstructured":"Jackiw, N.: The Geometer\u2019s Sketchpad. Key Curriculum Press, Berkeley (1997)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Kapur, D.: Geometry theorem proving using Hilbert\u2019s Nullstellensatz. In Proc. SYMSAC\u201986, Waterloo, 202\u2013208, ACM Press (1986)","DOI":"10.1145\/32439.32479"},{"key":"5_CR10","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":"5_CR11","volume-title":"Geometric Reasoning","author":"D Kapur","year":"1989","unstructured":"Kapur, D., Mundy, J. L.: Wu\u2019s method and its application to perspective viewing. In D. Kapur, J. L. Mundy, Geometric Reasoning. The MIT Press, Cambridge (1989)"},{"key":"5_CR12","volume-title":"Foundations of dynamic geometry","author":"U Kortenkamp","year":"1999","unstructured":"Kortenkamp, U.: Foundations of dynamic geometry. Ph. D. Thesis, ETH, Zurich (1999)"},{"key":"5_CR13","volume-title":"Cabri Geometry II","author":"JM Laborde","year":"1998","unstructured":"Laborde, J. M., Bellemain, F.: Cabri Geometry II. Texas Instruments, Dallas (1998)"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(75)90013-2","volume":"6","author":"AJ 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":"5_CR15","unstructured":"Prolog Development Center."},{"key":"5_CR16","volume-title":"C\u00e1lculo simb\u00f3lico y geom\u00e9trico","author":"T Recio","year":"1998","unstructured":"Recio, T.: C\u00e1lculo simb\u00f3lico y geom\u00e9trico. S\u00edntesis, Madrid (1998) (in Spanish)"},{"key":"5_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":"5_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":"5_CR19","unstructured":"Roanes, E.: Boosting the Geometrical Possibilities of Dynamic Geometry Systems and Computer Algebra Systems through Cooperation. Plenary talk at 5th Int. Conf. on Technology for Mathematics Teaching. Klagenfurt, Austria (2001) (to appear)"},{"key":"5_CR20","series-title":"Technical Report","volume-title":"Developing a Dynamic Geometry Environment with Prolog","author":"JL Valcarce","year":"1999","unstructured":"Valcarce, J. L., Botana, F.: Developing a Dynamic Geometry Environment with Prolog. Technical Report, University of Vigo, Pontevedra (1999)"},{"key":"5_CR21","series-title":"Technical Report","volume-title":"Lugares. Manual de Referencia","author":"JL Valcarce","year":"2001","unstructured":"Valcarce, J. L., Botana, F.: Lugares. Manual de Referencia. Technical Report, University of Vigo, Pontevedra (2001)"},{"key":"5_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6639-0","volume-title":"Mechanical Theorem Proving in Geometries","author":"WT Wu","year":"1994","unstructured":"Wu, W. T.: Mechanical Theorem Proving in Geometries. Springer, Viena (1994)"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0747-7171(08)80138-1","volume":"12","author":"CK Yap","year":"1991","unstructured":"Yap, C. K.: A new lower bound for conmutative Thue systems, with applications. Journal of Symbolic Computation, 12, 1\u201328 (1991)","journal-title":"Journal of Symbolic Computation"}],"container-title":["Computer Algebra in Scientific Computing CASC 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-56666-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T02:37:27Z","timestamp":1560393447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-56666-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783642626845","9783642566660"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-56666-0_5","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}