{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T12:15:35Z","timestamp":1776687335071,"version":"3.51.2"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1994,11,1]],"date-time":"1994-11-01T00:00:00Z","timestamp":783648000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[1994,11]]},"DOI":"10.1007\/bf01188747","type":"journal-article","created":{"date-parts":[[2005,2,17]],"date-time":"2005-02-17T21:01:13Z","timestamp":1108674073000},"page":"343-370","source":"Crossref","is-referenced-by-count":12,"title":["A solution to Kronecker's problem"],"prefix":"10.1007","volume":"5","author":[{"given":"Giovanni","family":"Gallo","sequence":"first","affiliation":[]},{"given":"Bhubaneswar","family":"Mishra","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1016\/0022-314X(83)90021-5","volume":"17","author":"C. W. Ayoub","year":"1983","unstructured":"Ayoub, C. W.: On Constructing Bases for Ideals in Polynomial Rings over the Integers. J. Number Theory17, 204?225 (1983)","journal-title":"J. Number Theory"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/S0747-7171(88)80039-7","volume":"6","author":"D. Bayer","year":"1988","unstructured":"Bayer, D., Stillman, M.: On the Complexity of Computing Syzygies. J. Symbolic Comput.6, 135?147 (1988)","journal-title":"J. Symbolic Comput."},{"key":"CR3","volume-title":"Ph.D. thesis","author":"B. Buchberger","year":"1965","unstructured":"Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. Ph.D. thesis, University of Innsbruck, Austria, 1965"},{"key":"CR4","volume-title":"Ph.D. thesis","author":"T. W. Dub\u00e9","year":"1989","unstructured":"Dub\u00e9, T. W.: Quantitative Analysis Problems in Computer Algebra: Gr\u00f6bner Bases and the Nullstellensatz. Ph.D. thesis, Courant Institute of Mathematical Sciences, New York University, New York, 1989"},{"key":"CR5","volume-title":"Technical Report No. 88","author":"T. Dub\u00e9","year":"1986","unstructured":"Dub\u00e9, T., Mishra, B., Yap, C. K.: Admissible Orderings and Bounds for Gr\u00f6bner Bases Normal Form Algorithm. Technical Report No. 88, Courant Institute of Mathematical Sciences, New York University, New York, 1986"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1112\/blms\/15.1.8","volume":"15","author":"H. M. Edwards","year":"1983","unstructured":"Edwards, H. M.: Dedekind's Invention of Ideals. Bull Lond. Math. Soc.15, 8?17 (1983)","journal-title":"Bull Lond. Math. Soc."},{"key":"CR7","volume-title":"Proceedings of a Conference held at Vassar College in June 1988","author":"H. M. Edwards","year":"1990","unstructured":"Edwards, H. M.: Kronecker's Views on the Foundations of Mathematics. In: Proceedings of a Conference held at Vassar College in June 1988, Rowe, D., McCleary, J. (eds.). Boston, Massachusetts: Academic Press 1990"},{"key":"CR8","volume-title":"Ph.D. thesis","author":"G. Gallo","year":"1992","unstructured":"Gallo, G.: Complexity Issues in Computational Algebra. Ph.D. thesis, Courant Institute of Mathematical Sciences, New York University, New York, 1992"},{"key":"CR9","volume-title":"Technical Report No. 600","author":"G. Gallo","year":"1992","unstructured":"Gallo, G., Mishra, B.: A Solution to Kronecker's Problem. Technical Report No. 600, Courant Institute of Mathematical Sciences, New York University, New York, 1992"},{"key":"CR10","first-page":"195","volume-title":"Lecture Notes in Computer Science, Vol. 174","author":"A. Kandri-Rody","year":"1984","unstructured":"Kandri-Rody, A., Kapur, D.: Algorithms for Computing the Gr\u00f6bner Bases of Polynomial Ideals over Various Euclidean Rings. In: Proceedings of EUROSAM '84, Lecture Notes in Computer Science, Vol. 174. Fitch, J. (ed.) pp. 195?206, Berlin, Heidelberg, New York: Springer 1984"},{"key":"CR11","unstructured":"Keaton, J., Solovay, R.: Rapidly Growing Ramsey Functions. Unpublished manuscript, 1980"},{"key":"CR12","unstructured":"Kronecker, L., Hensel, K.: Vorlesungen \u00fcber Zahlentheorie. Leipzig, 1901"},{"key":"CR13","volume-title":"Leopld Kronecker's Werke","author":"L. Kronecker","year":"1895","unstructured":"Kronecker, L.: Leopld Kronecker's Werke. Hensel, K. (ed.) Vol. 3 Leipzig, Druck und Verlag von B. G. Teubner, 1895"},{"key":"CR14","series-title":"Lecture Notes in Computer Science, Vol 355","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/3-540-51081-8_110","volume-title":"Rewriting Techniques and Applications","author":"D. Lankford","year":"1989","unstructured":"Lankford, D.: Generalized Gr\u00f6bner Bases: Theory and Applications. In: Rewriting Techniques and Applications, Lecture Notes in Computer Science, Vol 355. Dershowitz, N. (ed.) pp. 203?221. Berlin, Heidelberg, New York: Springer 1989"},{"key":"CR15","first-page":"146","volume-title":"Lecture Notes in Computer Science, Vol. 162","author":"D. Lazard","year":"1983","unstructured":"Lazard, D.: Gr\u00f6bner Bases, Gaussian Elimination and Resolution of Systems of Algebraic Equations. In: Proceedings for EUROCAL '83, Lecture Notes in Computer Science, Vol. 162, pp. 146?156. Berlin, Heidelberg, New York: Springer 1983"},{"key":"CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4344-1","volume-title":"Algorithmic Algebra","author":"B. Mishra","year":"1993","unstructured":"Mishra, B.: Algorithmic Algebra. Berlin, Heidelberg, New York: Springer 1993"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0020-0255(89)90037-6","volume":"48","author":"B. Mishra","year":"1989","unstructured":"Mishra, B., Yap, C.: Notes on Gr\u00f6bner Bases. Information Sciences48, 219?252 (1989)","journal-title":"Information Sciences"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0001-8708(82)90048-2","volume":"64","author":"E. W. Mayr","year":"1982","unstructured":"Mayr, E. W., Meyer, A. R.: The Complexity of the Word Problems for Commutative Semigroups and Polynomial Ideals. Adv. Math.64, 305?329 (1982)","journal-title":"Adv. Math."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1016\/S0747-7171(88)80052-X","volume":"6","author":"H. M. M\u00f6ller","year":"1988","unstructured":"M\u00f6ller, H. M.: On the Construction of Gr\u00f6bner Bases Using Syzygies. J. Symb. Comput.6, 345?360 (1988)","journal-title":"J. Symb. Comput."},{"key":"CR20","volume-title":"Notes Informelles De Calcul Formel 19","author":"G. Moreno Socias","year":"1992","unstructured":"Moreno Socias, G.: Length of Polynomial Ascending Chains and Primitive Recursiveness. Notes Informelles De Calcul Formel 19, \u00c9quipe de Calcul Formel, Centre de Math\u00e9matiques, \u00c9cole Polytechnique, F-91128 Palaiseau cedex, France, 1992"},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Paris, J., Harrington, L.: A Mathematical Incompleteness in Peano Arithmetic. In: Handbook of Mathematical Logic. Barwise, J. (ed.) pp. 1113?1142 (1977)","DOI":"10.1016\/S0049-237X(08)71130-3"},{"key":"CR22","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1090\/S0002-9939-1974-0416874-9","volume":"44","author":"F. Richman","year":"1974","unstructured":"Richman, F.: Constructive Aspects of Noetherian Rings. Proceedings Am. Math. Soc.,44, 436?441 (1974)","journal-title":"Proceedings Am. Math. Soc."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/BF02925651","volume":"44","author":"A. Scidenberg","year":"1974","unstructured":"Scidenberg, A.: What Is Noetherian? Rend. Sem. Mat. Fis. Milano44, 55?61 (1974)","journal-title":"Rend. Sem. Mat. Fis. Milano"},{"key":"CR24","series-title":"University of California Pub. in Math. New series","first-page":"31","volume-title":"An Elimination Theory for Differential Algebra","author":"A. Scidenberg","year":"1956","unstructured":"Scidenberg, A.: An Elimination Theory for Differential Algebra. University of California Pub. in Math. New series, University of California, Berkeley and Los Angeles3, 31?66 (1956)"},{"key":"CR25","series-title":"Lecture Notes in Mathematics, Vol. 697","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BFb0103125","volume-title":"Topics in Algebra","author":"C. Sims","year":"1978","unstructured":"Sims, C.: The Role of Algorithms in the Teaching of Algebra. In: Topics in Algebra. Newman, M. F. (ed.) pp. 95?107. Lecture Notes in Mathematics, Vol. 697. Canberra: Proc 1978. Berlin, Heidelberg, New York: Springer 1978"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"547","DOI":"10.2140\/pjm.1970.34.547","volume":"34","author":"H. Simmons","year":"1970","unstructured":"Simmons, H.: The Solution of a Decision Problems for Several Classes of Rings. Pacific J. Math.34, 547?557 (1970)","journal-title":"Pacific J. Math."},{"issue":"6","key":"CR27","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1080\/00029890.1952.11988146","volume":"59","author":"G. Szekeres","year":"1952","unstructured":"Szekeres, G.: A Canonical Basis for the Ideals of a Polynomial Domain. Am. Mathematical Monthly59(6), 379?386 (1952)","journal-title":"Am. Mathematical Monthly"},{"key":"CR28","first-page":"323","volume-title":"Proceedings of the International Conference Theory of Groups","author":"G. Szekeres","year":"1967","unstructured":"Szekeres, G.: Metabelian Groups with Two Generators. In: Proceedings of the International Conference Theory of Groups, Canberra '65, pp. 323?346, Gordon and Breach 1967"},{"key":"CR29","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF01902204","volume":"32","author":"P. G. Trotter","year":"1978","unstructured":"Trotter, P. G.: Ideals in ? [x,y]. Acta Math. Acad. Sci. Hungar32, 63?73 (1978)","journal-title":"Acta Math. Acad. Sci. Hungar"},{"key":"CR30","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/BF01973619","volume":"13","author":"S. S. Wainer","year":"1970","unstructured":"Wainer, S. S.: A Classification of the Ordinal Recursive Functions. Arch. Math. Logik13, 136?153 (1970)","journal-title":"Arch. Math. Logik"},{"key":"CR31","unstructured":"Weber, H.: Leopold Kronecker. Jahresber. D.M.-V., Vol. 2, 1892"},{"key":"CR32","volume-title":"Some Bounds for the Construction of Gr\u00f6bner Bases","author":"V. Weispfenning","year":"1987","unstructured":"Weispfenning, V.: Some Bounds for the Construction of Gr\u00f6bner Bases, Preprint, Mathematisches Institut der Universit\u00e4t, Heidelberg, Germany, 1987"},{"key":"CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0747-7171(08)80138-1","volume":"12","author":"C. K. Yap","year":"1991","unstructured":"Yap., C. K.: A New Lower Bound Construction for Commutative Thue Systems with Applications. J. Symp. Comput.12, 1?27 (1991)","journal-title":"J. Symp. Comput."},{"key":"CR34","volume-title":"Master's thesis","author":"G. Zacharias","year":"1978","unstructured":"Zacharias, G.: Generalized Gr\u00f6bner Bases in Commutative Polynomial Rings. Master's thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1978"}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01188747.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01188747\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01188747","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T16:41:48Z","timestamp":1556728908000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01188747"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,11]]},"references-count":34,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1994,11]]}},"alternative-id":["BF01188747"],"URL":"https:\/\/doi.org\/10.1007\/bf01188747","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,11]]}}}