{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T07:14:56Z","timestamp":1777619696716,"version":"3.51.4"},"reference-count":32,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1985,1,1]],"date-time":"1985-01-01T00:00:00Z","timestamp":473385600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":10424,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1985]]},"DOI":"10.1016\/0304-3975(85)90131-8","type":"journal-article","created":{"date-parts":[[2003,5,13]],"date-time":"2003-05-13T04:04:58Z","timestamp":1052798698000},"page":"69-88","source":"Crossref","is-referenced-by-count":28,"special_numbering":"C","title":["Solving systems of linear equations over polynomials"],"prefix":"10.1016","volume":"39","author":[{"given":"R.","family":"Kannan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0304-3975(85)90131-8_BIB1","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1080\/00207727408920109","article-title":"Efficient algorithms for linear system calculations, Part 1: Smith form and common divisor of polynomials","volume":"5","author":"Barnett","year":"1974","journal-title":"Internat. J. System Sci."},{"key":"10.1016\/0304-3975(85)90131-8_BIB2","series-title":"Matrix Calculus","author":"Boedewig","year":"1956"},{"key":"10.1016\/0304-3975(85)90131-8_BIB3","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1090\/S0025-5718-1971-0301909-X","article-title":"Algorithms for Hermite and Smith normal matrices and linear diophantine equations","volume":"25","author":"Bradley","year":"1971","journal-title":"Math. Comput."},{"issue":"4","key":"10.1016\/0304-3975(85)90131-8_BIB4","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1145\/321662.321664","article-title":"On Euclid's algorithm and the computation of polynomial greatest common divisors","volume":"18","author":"Brown","year":"1971","journal-title":"J. ACM"},{"key":"10.1016\/0304-3975(85)90131-8_BIB5","series-title":"Proc. 2nd Symp. Symbolic and Algebraic Manipulation","first-page":"392","article-title":"Exact solution of linear equations","author":"Cabay","year":"1971"},{"issue":"1","key":"10.1016\/0304-3975(85)90131-8_BIB6","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1145\/321371.321381","article-title":"Subresultants and reduced polynomial remainder sequences","volume":"14","author":"Collins","year":"1967","journal-title":"J. ACM"},{"key":"10.1016\/0304-3975(85)90131-8_BIB7","unstructured":"A.E. Collins, The SAC-2 Manual Version 1."},{"issue":"4","key":"10.1016\/0304-3975(85)90131-8_BIB8","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1137\/0211057","article-title":"Algorithms for solutions of system of linear diophantine equations","volume":"11","author":"Chou","year":"1982","journal-title":"SIAM J. Comput."},{"key":"10.1016\/0304-3975(85)90131-8_BIB9","doi-asserted-by":"crossref","first-page":"241","DOI":"10.6028\/jres.071B.033","article-title":"Systems of distinct representatives and linear algebra","volume":"71B","author":"Edmonds","year":"1967","journal-title":"J. Res. National Bureau of Standards"},{"key":"10.1016\/0304-3975(85)90131-8_BIB10","series-title":"Fundamentals of Computation Theory","first-page":"386","article-title":"Polynomial time algorithms in the theory of linear diophantine equations","volume":"56","author":"Frumkin","year":"1977"},{"key":"10.1016\/0304-3975(85)90131-8_BIB11","author":"Harrison","year":"1969"},{"key":"10.1016\/0304-3975(85)90131-8_BIB12","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1515\/crll.1851.41.191","article-title":"Sur l'introduction des variables continuous dans la theorie des nombres","volume":"41","author":"Hermite","year":"1851","journal-title":"J. Reine Angew. Math."},{"key":"10.1016\/0304-3975(85)90131-8_BIB13","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1137\/0308002","article-title":"Transfer equivalence of linear dynamical systems","volume":"8","author":"Heyman","year":"1970","journal-title":"SIAM J. Control."},{"key":"10.1016\/0304-3975(85)90131-8_BIB14","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1145\/321864.321868","article-title":"On computing the exact determinant of matrices with polynomial entries","volume":"22","author":"Horowitz","year":"1975","journal-title":"J. ACM"},{"key":"10.1016\/0304-3975(85)90131-8_BIB15_1","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/BF01946813","article-title":"Solving systems of linear algebraic equations using residue arithmetic I","volume":"9","author":"Howell","year":"1969","journal-title":"BIT"},{"key":"10.1016\/0304-3975(85)90131-8_BIB15_2","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/BF01935864","article-title":"Solving systems of linear algebraic equations using residue arithmetic II","volume":"9","author":"Howell","year":"1969","journal-title":"BIT"},{"key":"10.1016\/0304-3975(85)90131-8_BIB15_3","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF01940889","article-title":"Solving systems of linear algebraic equations using residue arithmetic III","volume":"10","author":"Howell","year":"1970","journal-title":"BIT"},{"key":"10.1016\/0304-3975(85)90131-8_BIB16","series-title":"Analysis of Numerical Methods","author":"Isaacson","year":"1966"},{"key":"10.1016\/0304-3975(85)90131-8_BIB17","series-title":"Linear Systems","author":"Kailath","year":"1980"},{"key":"10.1016\/0304-3975(85)90131-8_BIB18","doi-asserted-by":"crossref","first-page":"520","DOI":"10.1137\/0113034","article-title":"Irreducible realizations and the degree of a rational matrix","volume":"13","author":"Kalman","year":"1965","journal-title":"SIAM J. Appl. Math."},{"key":"10.1016\/0304-3975(85)90131-8_BIB19","article-title":"The size of numbers in the analysis of certain algorithms","author":"Kannan","year":"1980"},{"issue":"4","key":"10.1016\/0304-3975(85)90131-8_BIB20","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1137\/0208040","article-title":"Polynomial algorithms for computing the Smith and Hermite normal forms of an integer matrix","volume":"8","author":"Kannan","year":"1979","journal-title":"SIAM J. Comput."},{"key":"10.1016\/0304-3975(85)90131-8_BIB21","volume":"Vol. 1","author":"Knuth","year":"1971"},{"key":"10.1016\/0304-3975(85)90131-8_BIB22","first-page":"391","volume":"Vol. 2","author":"Knuth","year":"1969"},{"key":"10.1016\/0304-3975(85)90131-8_BIB23","series-title":"Proc. 1968 Inst. on Symbolic Math. Computation","article-title":"Symbolic methods for computer methods of linear equations with applications to flow graphs","author":"Lipson","year":"1969"},{"issue":"4","key":"10.1016\/0304-3975(85)90131-8_BIB24","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1145\/321784.321787","article-title":"The exact solution of systems of linear equations with polynomial coefficients","volume":"20","author":"McClennan","year":"1973","journal-title":"J. ACM"},{"key":"10.1016\/0304-3975(85)90131-8_BIB25","series-title":"Integral Matrices","author":"Newman","year":"1972"},{"issue":"5","key":"10.1016\/0304-3975(85)90131-8_BIB26","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1080\/00207727408920109","article-title":"Efficient algorithms for linear system calculations","volume":"5","author":"Pace","year":"1974","journal-title":"Internat. J. System. Sci."},{"key":"10.1016\/0304-3975(85)90131-8_BIB27","series-title":"State Space and Multivariable Theory","author":"Rosenbrock","year":"1970"},{"key":"10.1016\/0304-3975(85)90131-8_BIB28","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1098\/rstl.1861.0016","article-title":"On systems of linear indeterminate equations and congruences","volume":"151","author":"Smith","year":"1861","journal-title":"Philosoph. Transact."},{"key":"10.1016\/0304-3975(85)90131-8_BIB29","series-title":"Modern Algebra","author":"Van der Waerden","year":"1949"},{"key":"10.1016\/0304-3975(85)90131-8_BIB30","article-title":"Weitere zum Erfullungsprobleme polynomial \u00e4quivalente kombinatorische Aufgaben","volume":"43","author":"von zur Gathen","year":"1976"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0304397585901318?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0304397585901318?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T12:52:56Z","timestamp":1553172776000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0304397585901318"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"references-count":32,"alternative-id":["0304397585901318"],"URL":"https:\/\/doi.org\/10.1016\/0304-3975(85)90131-8","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1985]]}}}