{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:46Z","timestamp":1725663826823},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573227"},{"type":"electronic","value":"9783540480631"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57322-4_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:49:47Z","timestamp":1330260587000},"page":"133-151","source":"Crossref","is-referenced-by-count":2,"title":["Gr\u00f6bner bases: Strategies and applications"],"prefix":"10.1007","author":[{"given":"Eric","family":"Monfroy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"F. P. Preparata and M. I. Shamos. Computational Geometry: An Introduction. Springer-Verlag, 1985.","DOI":"10.1007\/978-1-4612-1098-6"},{"key":"9_CR2","unstructured":"H. Amet and R. Schott. D\u00e9placement Exact d'un Polygone au Sein d'un Ensemble de Polygones. In 7\u00e8me Congr\u00e8s AFCET Reconnaissance des Formes et Intelligence Artificielle, Paris, pages 749\u2013763, 1989."},{"key":"9_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4022-9","volume-title":"Robot Motion Planning","author":"J.-C. Latombe","year":"1991","unstructured":"J.-C. Latombe. Robot Motion Planning. Kluwer Academic Publishers, Boston\/ Dordrecht\/ London, 1991."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"S. R. Maddila and C. K. Yap. Moving a Polygon arround the Corner in a Corridor. In Proceedings of the ACM Symposium on Computational Geometry, pages 187\u2013182, Yorktown Heights, NY, 1986.","DOI":"10.1145\/10515.10536"},{"key":"9_CR5","first-page":"143","volume-title":"Journ\u00e9es de G\u00e9om\u00e9trie Algorithmique","author":"H. Amet","year":"1990","unstructured":"H. Amet, Boissonnat J.-D., and R. Schott. Calcul Dynamique du Diagramme de Vorono\u00ef d'un Ensemble de Segments. In Journ\u00e9es de G\u00e9om\u00e9trie Algorithmique, INRIA Sophia-Antipolis (France), pages 143\u2013153, June 1990."},{"key":"9_CR6","unstructured":"B. Buchberger. Applications of Gr\u00f6bner Bases in Non-Linear Computational Geometry. In Deepak Kapur and Joseph L. Mundy, editors, Geometric Reasoning, pages 413\u2013446. MIT Press, 1989."},{"key":"9_CR7","first-page":"263","volume-title":"Computational Problems in Abstract Algebra","author":"D. E. Knuth","year":"1970","unstructured":"D. E. Knuth and P. B. Bendix. Simple word problems in universal algebras. In J. Leech, editor, Computational Problems in Abstract Algebra, pages 263\u2013297. Oxford, Pergamon Press, 1970."},{"key":"9_CR8","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. Gr\u00f6bner Bases: an Algorithmic Method in Polynomial Ideal Theory. In N. K. Bose Ed., editor, Multidimensional Systems theory, pages 184\u2013232. D. Reidel Publishing Company, Dordrecht-Boston-Lancaster, 1985."},{"issue":"4","key":"9_CR9","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/1088222.1088224","volume":"10","author":"B. Buchberger","year":"1976","unstructured":"B. Buchberger. Some Properties of Gr\u00f6bner Bases for Polynomial Ideals. J.A.C.M. Sigsam Bull, 10(4):19\u201324, 1976.","journal-title":"J.A.C.M. Sigsam Bull"},{"key":"9_CR10","volume-title":"PhD thesis","author":"S. R. Czapor","year":"1989","unstructured":"S. R. Czapor. Gr\u00f6bner Basis Methods for Solving Algebraic Equations. PhD thesis, University of Waterloo, Canada, November 1989."},{"key":"9_CR11","volume-title":"Internal Report 92-2i","author":"E. Monfroy","year":"1992","unstructured":"E. Monfroy. Strategies for Computing Gr\u00f6bner Bases of a set of polynomials. Internal Report 92-2i, ECRC (European Computer-industry Research Centre), Munich (Germany), 1992."},{"key":"9_CR12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0747-7171(87)80020-2","volume":"3","author":"B. Buchberger","year":"1987","unstructured":"B. Buchberger. History and Basic Features of the Critical-Pair\/Completion Procedure. Journal of Symbolic Computation, 3:3\u201338, 1987.","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"F. Winkler. Knuth-Bendix Procedure and Buchberger Algorithm \u2014 A Synthesis. In Proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC'89), pages 55\u201367, 1989.","DOI":"10.1145\/74540.74548"},{"key":"9_CR14","unstructured":"B. Buchberger and F. Winkler. Miscellaneous Results on the Construction of Gr\u00f6bner Bases for Polynomial Ideals. Technical Report 137, Univ. of Linz, Math. Inst., 1979."},{"key":"9_CR15","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S0747-7171(86)80014-1","volume":"1","author":"W. Boege","year":"1986","unstructured":"W. Boege, R. Gebauer, and H. Kredel. Some Examples for Solving Systems of Algebraic Equations by Calculating Gr\u00f6bner Bases. Journal of Symbolic Computation, 1:83\u201398, 1986.","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR16","unstructured":"M. Meier, A. Aggoun, D. Chan, P. Dufresne, R. Enders, D. De Villeneuve, A. Herold, P. Kay, B. Perez, E. Van Rossum, and J. Schimpf. SEPIA \u2014 an extendible Prolog system. In Proceedings of the 11th World Computer Congress IFIP'89, San Francisco, August 1989."},{"key":"9_CR17","unstructured":"S. Wolfram. Mathematica: A System for Doing Mathematics by Computer, 1988."},{"key":"9_CR18","volume-title":"Technical report ECRC-92","author":"E. Monfroy","year":"1992","unstructured":"E. Monfroy. Non Linear Constraints: a Language and a Solver. Technical report ECRC-92, ECRC (European Computer-industry Research Centre), Munich (Germany), 1992. To appear."},{"key":"9_CR19","volume-title":"Technical report ECRC-92-31","author":"E. Monfroy","year":"1992","unstructured":"E. Monfroy. Specification of Geometrical Constraints. Technical report ECRC-92-31, ECRC (European Computer-industry Research Centre), Munich (Germany), 1992."},{"key":"9_CR20","unstructured":"C. Kirchner and H. Kirchner. Rewriting: Theory and Applications. Working Paper for a D.E.A. lecture at the University of Nancy I, France, 1989."},{"key":"9_CR21","volume-title":"Internal Report 92-3i","author":"E. Monfroy","year":"1992","unstructured":"E. Monfroy. Solutions of Algebraic Equations using Gr\u00f6bner Bases. Internal Report 92-3i, ECRC (European Computer-industry Research Centre), Munich (Germany), 1992."},{"key":"9_CR22","volume-title":"Internal Report 92-4i","author":"E. Monfroy","year":"1992","unstructured":"E. Monfroy. Applications of Gr\u00f6bner Bases. Internal Report 92-4i, ECRC (European Computer-industry Research Centre), Munich (Germany), 1992."},{"key":"9_CR23","volume-title":"Rapport de DEA CRIN 90-R-130","author":"E. Monfroy","year":"1990","unstructured":"E. Monfroy. Sp\u00e9cification Op\u00e9rationnelle des Contraintes G\u00e9om\u00e9triques: ELIOS. Rapport de DEA CRIN 90-R-130, CRIN Nancy, 1990."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57322-4_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:11:33Z","timestamp":1605647493000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57322-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573227","9783540480631"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-57322-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}