{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,8,18]],"date-time":"2022-08-18T07:24:57Z","timestamp":1660807497433},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540189282","type":"print"},{"value":"9783540388500","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-18928-9_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:50:09Z","timestamp":1330199409000},"page":"52-80","source":"Crossref","is-referenced-by-count":20,"title":["Applications of Gr\u00f6bner bases in non-linear computational geometry"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Buchberger","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"5_CR1","first-page":"431","volume-title":"Proceedings of the 1984 MACSYMA User's Conference","author":"D. S. Arnon","year":"1984","unstructured":"D. S. Arnon, T. W. Sederberg, 1984. Implicit Equation for a Parametric Surface by Gr\u00f6bner Bases. In: Proceedings of the 1984 MACSYMA User's Conference (V. E. Golden ed.), General Electric, Schenectady, New York, 431\u2013436."},{"issue":"1","key":"5_CR2","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/MCG.1981.1673799","volume":"1","author":"A. H. Barr","year":"1981","unstructured":"A. H. Barr, 1981. Superquadrics and Angle-Preserving Transformations. IEEE Computer Graphics and Applications, 1\/1, 11\u201323.","journal-title":"IEEE Computer Graphics and Applications"},{"key":"5_CR3","unstructured":"B. Buchberger, 1965. An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-Dimensional Polynomial Ideal (German). Ph. D. Thesis, Univ. of Innsbruck (Austria), Dept. of Mathematics."},{"issue":"3","key":"5_CR4","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/BF01817776","volume":"4","author":"B. Buchberger","year":"1970","unstructured":"B. Buchberger, 1970. An Algorithmic Criterion for the Solvability of Algebraic Systems of Equations (German). Aequationes Mathematicae 4\/3, 374\u2013383.","journal-title":"Aequationes Mathematicae"},{"key":"5_CR5","doi-asserted-by":"crossref","volume-title":"Computer Algebra: Symbolic and Algebraic Computation","author":"B. Buchberger","year":"1982","unstructured":"B. Buchberger, G. E. Collins, R. Loos, 1982. \u201cComputer Algebra: Symbolic and Algebraic Computation\u201d. Springer-Verlag, Vienna \u2014 New York.","DOI":"10.1007\/978-3-7091-3406-1"},{"key":"5_CR6","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":"B. Buchberger, 1985. Gr\u00f6bner Bases: An Algorithmic Method in Polynomial Ideal Theory. In: Multidimensional Systems Theory (N. K. Bose ed.), D. Reidel Publishing Company, Dordrecht \u2014 Boston \u2014 Lancaster, 184\u2013232."},{"key":"5_CR7","first-page":"134","volume":"33","author":"G. E. Collins","year":"1975","unstructured":"G. E. Collins, 1975. Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition. 2nd GI Conference on Automata Theory and Formal Languages, Lecture Notes in Computer Science 33, 134\u2013183.","journal-title":"2nd GI Conference on Automata Theory and Formal Languages, Lecture Notes in Computer Science"},{"key":"5_CR8","unstructured":"P. Gianni, 1987. Properties of Gr\u00f6bner Bases Under Specialization. Proc. of the EUROCAL '87 Conference, Leipzig, 2\u20135 June 1987, to appear."},{"key":"5_CR9","volume-title":"Gr\u00f6bner Bases and Primary Decomposition of Polynomial Ideals","author":"P. Gianni","year":"1985","unstructured":"P. Gianni, B. Trager, G. Zacharias, 1985. Gr\u00f6bner Bases and Primary Decomposition of Polynomial Ideals. Submitted to J. of Symbolic Computation. Available as manuscript, IBM T. J. Watson Research Center, Yorktown Heights, New York."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"C. Hofmann, 1987. Algebraic Curves. This Volume. Institute for Mathematics and its Applications, U of Minneapolis.","DOI":"10.21236\/ADA231940"},{"key":"5_CR11","unstructured":"C. Hofmann, 1987a. Personal Communication. Purdue University, West Lafayette, IN 47907, Computer Science Dept."},{"key":"5_CR12","unstructured":"M. Kalkbrener, 1987. Solving Systems of Algebraic Equations by Using Gr\u00f6bner Bases. Proc. of the EUROCAL '87 Conference, Leipzig, 2\u20135 June 1987, to appear."},{"key":"5_CR13","unstructured":"D. Kapur, 1986. A Refutational Approach to Geometry Theorem Proving. In: Proceedings of the Workshop on Geometric Reasoning, Oxford University, June 30 \u2014 July 3, 1986, to appear in Artificial Intelligence."},{"key":"5_CR14","unstructured":"D. Kapur, 1987. Algebraic Reasoning for Object Construction from Ideal Images. Lecture Notes, Summer Program on Robotics: Computational Issues in Geometry, August 24\u201328, Institute for Mathematics and its Applications, Univ. of Minneapolis."},{"key":"5_CR15","unstructured":"A. Kandri-rody, 1984. Effective Methods in the Theory of Polynomial Ideals. Ph. D. Thesis, Rensselaer Polytechnic Institute, Troy, New York, Dept. of Computer Science."},{"key":"5_CR16","unstructured":"H. Kredel, 1987. Primary Ideal Decomposition. Proc of the EUROCAL '87 Conference, Leipzig, 2\u20135 June 1987, to appear."},{"key":"5_CR17","unstructured":"B. Kutzler, 1987. Implementation of a Geometry Proving Package in SCRATCHPAD II. Proceedings of the EUROCAL '87 Conferenc, Leipzig, 2\u20135 June, 1987, to appear."},{"issue":"4","key":"5_CR18","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1016\/S0747-7171(86)80006-2","volume":"2","author":"B. Kutzler","year":"1986","unstructured":"B. Kutzler, S. Stifter, 1986. On the Application of Buchberger's Algorithm to Automated Geometry Theorem Proving. J. of Symbolic Computation, 2\/4, 389\u2013398.","journal-title":"J. of Symbolic Computation"},{"issue":"3","key":"5_CR19","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/S0747-7171(85)80035-3","volume":"1","author":"D. Lazard","year":"1985","unstructured":"D. Lazard, 1985. Ideal Bases and Primary Decomposition: Case of Two Variables. J. of Symbolic Computation 1\/3, 261\u2013270.","journal-title":"J. of Symbolic Computation"},{"key":"5_CR20","volume-title":"Robot Manipulators: Mathematics, Programming, and Control","author":"R. P. Paul","year":"1981","unstructured":"R. P. Paul, 1981. \u201cRobot Manipulators: Mathematics, Programming, and Control\u201d. The MIT Press, Cambridge (Mass.), London."},{"key":"5_CR21","doi-asserted-by":"crossref","volume-title":"Computational Geometry","author":"F. P. Preparata","year":"1985","unstructured":"F. P. Preparata, M. I. Shamos, 1985. \u201cComputational Geometry\u201d. Springer-Verlag, New York, Berlin, Heidelberg.","DOI":"10.1007\/978-1-4612-1098-6"},{"key":"5_CR22","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1016\/0734-189X(84)90140-3","volume":"28","author":"T. W. Sederberg","year":"1984","unstructured":"T. W. Sederberg, D. C. Anderson, 1984. Implicit Representation of Parametric Curves and Surfaces. Computer Vision, Graphics, and Image Processing 28, 72\u201384.","journal-title":"Computer Vision, Graphics, and Image Processing"},{"key":"5_CR23","unstructured":"D. Spear, 1977. A Constructive Approach to Ring Theory. Proc. of the MACSYMA Users' Conference, Berkeley, July 1977 (R. J. Fateman ed.), The MIT Press, 369\u2013376."},{"key":"5_CR24","unstructured":"B. Sturmfels, 1987. Private Communication. Institute for Mathematics and its Applications."},{"issue":"4","key":"5_CR25","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1016\/0022-314X(78)90019-7","volume":"10","author":"W. Trinks","year":"1978","unstructured":"W. Trinks, 1978. On B. Buchberger's Method for Solving Systems of Algebraic Equations (German). J. of Number Theory 10\/4, 475\u2013488.","journal-title":"J. of Number Theory"},{"key":"5_CR26","unstructured":"A. Van den Essen, 1986. A Criterion to Decide if a Polynomial Map is Invertible and to Compute the Inverse. Report 8653, Catholic University Nijmegen (The Netherlands), Dept. of Mathematics."},{"key":"5_CR27","volume-title":"Modern Algebra I, II","author":"B. L. Waerden Van der","year":"1953","unstructured":"B. L. Van der Waerden, 1953. \u201cModern Algebra I, II\u201d, Frederick Ungar Publ. Comp., New York."},{"key":"5_CR28","unstructured":"F. Winkler, 1986. Solution of Equations I: Polynomial Ideals and Gr\u00f6bner Bases. Proc. of the Conference on Computers and Mathematics, Stanford University, July 30 \u2014 August 1, 1986, to appear."},{"key":"5_CR29","first-page":"150","volume":"21","author":"W. T. Wu","year":"1978","unstructured":"W. T. Wu, 1978. On the Decision Problem and the Mechanization of Theorem Proving in Elementary Geometry. Scientia Sinica 21, 150\u2013172.","journal-title":"Scientia Sinica"}],"container-title":["Trends in Computer Algebra","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18928-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:18:37Z","timestamp":1619558317000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18928-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540189282","9783540388500"],"references-count":29,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-18928-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[1988]]}}}