{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,17]],"date-time":"2026-01-17T20:58:48Z","timestamp":1768683528954,"version":"3.49.0"},"publisher-location":"New York, NY","reference-count":19,"publisher":"Springer US","isbn-type":[{"value":"9780387970196","type":"print"},{"value":"9781461396475","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/978-1-4613-9647-5_1","type":"book-chapter","created":{"date-parts":[[2011,12,27]],"date-time":"2011-12-27T03:00:25Z","timestamp":1324954825000},"page":"1-11","source":"Crossref","is-referenced-by-count":13,"title":["A Completion Procedure for Computing a Canonical Basis for a k-Subalgebra"],"prefix":"10.1007","author":[{"given":"Deepak","family":"Kapur","sequence":"first","affiliation":[]},{"given":"Klaus","family":"Madlener","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"On the termination of the Knuth-Bendix algorithm","author":"J Avenhaus","year":"1985","unstructured":"Avenhaus, J. (1985). On the termination of the Knuth-Bendix algorithm. Report 120\/84, Universit\u00e4t Kaiserslautern, West German. !"},{"key":"1_CR2","volume-title":"An algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal","author":"B Buchberger","year":"1965","unstructured":"Buchberger, B. (1965).An algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal. (in German) Ph.D. Thesis, Univ. of Innsbruck, Austria."},{"issue":"9","key":"1_CR3","first-page":"19","volume":"10\/3, 3","author":"B Buchberger","year":"1976","unstructured":"Buchberger, B. (1976). A theoretical basis for the reduction of polynomials to canonical J forms.ACM-SIGSAM Bulletin 10\/3, 39, 19\u201329. ]","journal-title":"ACM-SIGSAM Bulletin"},{"key":"1_CR4","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/978-3-7091-3406-1_2","volume-title":"Computer algebra: 1 Symbolic and algebraic computation","author":"B Buchberger","year":"1982","unstructured":"Buchberger, B., and Loos, R. (1982). Algebraic simplification. In:Computer algebra: 1Symbolic and algebraic computation. (eds. Buchberger, Collins, and Loos), Computing Suppl. ] 4, Springer Verlag, 11\u201343."},{"key":"1_CR5","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. (1985). Gr\u00f6bner bases: An algorithmic method in polynomial ideal theory. In: N.K. Bose (ed.)Multidimensional Systems Theory ,Reidel, 184\u2013232. i"},{"key":"1_CR6","volume-title":"Experiments with computer implementations of procedures which often derive decision algorithms for the word problem in abstract algebras","author":"G Butler","year":"1980","unstructured":"Butler, G., and Lankford, D.S. (1980). Experiments with computer implementations of procedures which often derive decision algorithms for the word problem in abstract algebras. Memo MTP-7, Dept. of Mathematics, Louisiana Tech. University, Ruston, LA, August 1980."},{"key":"1_CR7","volume-title":"Existence, uniqueness, and construction of rewrite systems","author":"N Dershowitz","year":"1988","unstructured":"Dershowitz, N., Marcus, L., and Tarlecki, A. (1988). Existence, uniqueness, and construction of rewrite systems.SIAM J. of Computing ,to appear."},{"issue":"3","key":"1_CR8","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/0020-0190(78)90078-9","volume":"7","author":"G Huet","year":"1978","unstructured":"Huet, G. (1978). An algorithm to generate the basis of solutions to homogeneous linear diophantine equations.Information Processing letters ,7, 3, 144\u2013147.","journal-title":"Information Processing letters"},{"issue":"1","key":"1_CR9","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0022-0000(81)90002-7","volume":"23","author":"G Huet","year":"1981","unstructured":"Huet, G. (1981). A complete proof of correctness of the Knuth-Bendix completion procedure.J. of Computer and Systems Sciences ,23, 1, 11\u201321.","journal-title":"J. of Computer and Systems Sciences"},{"key":"1_CR10","volume-title":"An algorithm for computing a Gr\u00f6bner basis 1 of a polynomial ideal over a Euclidean ring","author":"A Kandri-Rody","year":"1984","unstructured":"Kandri-Rody, A., and Kapur, D. (1984). An algorithm for computing a Gr\u00f6bner basis 1 of a polynomial ideal over a Euclidean ring. G.E. Corporate Research and Development Report 84CRD045, Schenectady, NY. A revised version appeared inJ. of Symbolic Computation ,August 1988."},{"key":"1_CR11","volume-title":"A completion procedure for computing a canonical basis for a k-subalgebra","author":"D Kapur","year":"1989","unstructured":"Kapur, D., and Madlener, K. (1989). A completion procedure for computing a canonical basis for a k-subalgebra. Technical Report 89\u20135, Department of Computer Science, State University of New York at Albany, NY. An expanded version of this paper."},{"key":"1_CR12","volume-title":"Presented at a workshop on Combinatorial algorithms in algebraic structures","author":"D Kapur","year":"1985","unstructured":"Kapur, D., and Narendran, P. (1985). Existence and construction of a Gr\u00f6bner basis for a polynomial ideal. Presented at a workshop onCombinatorial algorithms in algebraic structures ,Europaische Akademie, Otzenhausen, W. Germany."},{"key":"1_CR13","volume-title":"Computational Problems in Abstract Algebras","author":"D Knuth","year":"1970","unstructured":"Knuth, D., and Bendix, P. (1970). Simple word problems in universal algebras. In: J. Leech (ed.)Computational Problems in Abstract Algebras ,Pergamon Press."},{"key":"1_CR14","volume-title":"On the uniqueness of term rewriting systems","author":"DS Lankford","year":"1983","unstructured":"Lankford, D. S., and Ballantyne, A. M. (1983). On the uniqueness of term rewriting systems. Unpublished note, Dept. of Mathematics, Louisiana Tech. University, Ruston, LA."},{"key":"1_CR15","volume-title":"Computing a canonical basis of a fc-subalgebra","author":"L Robbiano","year":"1988","unstructured":"Robbiano, L., and Sweedler, M. (1988). Computing a canonical basis of a fc-subalgebra. Presented at a Mathematical Sciences Institute workshop on Gr\u00f6bner bases, Cornell University."},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/S0747-7171(88)80047-6","volume":"6","author":"D Shannon","year":"1988","unstructured":"Shannon, D., and Sweedler, M. (1988). Using Gr\u00f6bner bases to determine algebra membership, split surjective algebra homomorphisms and determine birational equivalence. J.of Symbolic Computation ,6, 267\u2013273.","journal-title":"J. of Symbolic Computation"},{"key":"1_CR17","volume-title":"Using Gr\u00f6bner bases to determine subalgebra membership","author":"D Shannon","year":"1988","unstructured":"Shannon, D., and Sweedler, M. (1988). Using Gr\u00f6bner bases to determine subalgebra membership. Unpublished Manuscript, Dept. of Mathematics, Cornell University."},{"issue":"3","key":"1_CR18","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1145\/322261.322262","volume":"28","author":"ME Stickel","year":"1981","unstructured":"Stickel, M.E. (1981). A unification algorithm for associative-commutative unification. JournalACM ,28, 3, 423\u2013434.","journal-title":"Journal ACM"},{"key":"1_CR19","volume-title":"Commutative Algebra","author":"O Zariski","year":"1958","unstructured":"Zariski, O., and Samuel, P. (1958).Commutative Algebra, Vol I. Springer Verlag, New York."}],"container-title":["Computers and Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4613-9647-5_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T09:10:09Z","timestamp":1619860209000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4613-9647-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9780387970196","9781461396475"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-1-4613-9647-5_1","relation":{},"subject":[],"published":{"date-parts":[[1989]]}}}