{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:04:20Z","timestamp":1742972660295,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642250699"},{"type":"electronic","value":"9783642250705"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25070-5_4","type":"book-chapter","created":{"date-parts":[[2011,11,8]],"date-time":"2011-11-08T20:30:55Z","timestamp":1320784255000},"page":"68-77","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Calculation of Plane Loci Using Gr\u00f6bner Bases and Integration into a Dynamic Geometry System"],"prefix":"10.1007","author":[{"given":"Michael","family":"Gerh\u00e4user","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfred","family":"Wassermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0913-3","volume-title":"Gr\u00f6bner bases: a computational approach to commutative algebra","author":"T. Becker","year":"1993","unstructured":"Becker, T., Weispfenning, V.: Gr\u00f6bner bases: a computational approach to commutative algebra. Springer, Heidelberg (1993)"},{"issue":"2","key":"4_CR2","doi-asserted-by":"publisher","first-page":"139","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\u00a061(2), 139\u2013152 (2003)","journal-title":"Mathematics and Computers in Simulation"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1007\/3-540-44860-8_83","volume-title":"Computational Science \u2013 ICCS 2003","author":"F. Botana","year":"2003","unstructured":"Botana, F.: A Web-Based Intelligent System for Geometric Discovery. In: Sloot, P.M.A., Abramson, D., Bogdanov, A.V., Gorbachev, Y.E., Dongarra, J., Zomaya, A.Y. (eds.) ICCS 2003, Part I. LNCS, vol.\u00a02657, pp. 801\u2013810. Springer, Heidelberg (2003)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-540-72586-2_32","volume-title":"Computational Science \u2013 ICCS 2007","author":"F. Botana","year":"2007","unstructured":"Botana, F., Ab\u00e1nades, M.A., Escribano, J.: Computing Locus Equations for Standard Dynamic Geometry Environments. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2007, Part II. LNCS, vol.\u00a04488, pp. 227\u2013234. Springer, Heidelberg (2007)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: Introduction to Gr\u00f6bner Bases. In: Buchberger, B., Winkler, F. (eds.) Gr\u00f6bner bases and applications. London Mathematical Society Lecture Note Series. Cambridge University Press (1998)","DOI":"10.1017\/CBO9780511565847.003"},{"key":"4_CR6","unstructured":"CoCoA: a system for doing Computations in Commutative Algebra, urlhttp:\/\/cocoa.dima.unige.it"},{"key":"4_CR7","volume-title":"Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra","author":"D.A. Cox","year":"2008","unstructured":"Cox, D.A., Little, J., O\u2019Shea, D.: Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra. Springer, New York (2008)"},{"key":"4_CR8","unstructured":"Fr\u00f6berg, R.: An Introduction to Gr\u00f6bner Bases. John Wiley & Sons (1997)"},{"key":"4_CR9","unstructured":"von zur Gathen, J., Gerhard, J.: Modern Computer Algebra. Cambridge University Press (1999)"},{"key":"4_CR10","unstructured":"Gerh\u00e4user, M., Miller, C., Valentin, B., Wassermann, A., Wilfahrt, P.: JSXGraph: Dynamic Mathematics Running on (nearly) Every Device. To be published in The Electronic Journal of Mathematics and Technology"},{"key":"4_CR11","first-page":"90","volume-title":"Computing in Science & Engineering","author":"J.D. Hunter","year":"2007","unstructured":"Hunter, J.D.: Matplotlib: A 2D Graphics Environment. In: Computing in Science & Engineering, vol.\u00a09, pp. 90\u201395. IEEE Computer Society, Los Alamitos (2007)"},{"key":"4_CR12","unstructured":"Kortenkamp, U.: Foundations of Dynamic Geometry. Dissertation (1999)"},{"key":"4_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-77356-6_4","volume-title":"Automated Deduction in Geometry","author":"P. Lebmeir","year":"2007","unstructured":"Lebmeir, P., Richter-Gebert, J.: Recognition of Computationally Constructed Loci. In: Botana, F., Recio, T. (eds.) ADG 2006. LNCS (LNAI), vol.\u00a04869, pp. 52\u201367. Springer, Heidelberg (2007)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Pilgrim, M.: Dive Into Python. APress (2004)","DOI":"10.1007\/978-1-4302-0700-9"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Recio, T., V\u00e9lez, M.P.: Automatic Discovery of Theorems in Elementary Geometry. Journal of Automated Reasoning, 63\u201382 (1999)","DOI":"10.1023\/A:1006135322108"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25070-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T04:01:35Z","timestamp":1560916895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25070-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642250699","9783642250705"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25070-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}