{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T19:14:38Z","timestamp":1694632478939},"reference-count":15,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[1988,10,1]],"date-time":"1988-10-01T00:00:00Z","timestamp":591667200000},"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":9055,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[1988,10]]},"DOI":"10.1016\/s0747-7171(88)80050-6","type":"journal-article","created":{"date-parts":[[2008,6,18]],"date-time":"2008-06-18T08:47:26Z","timestamp":1213778846000},"page":"305-322","source":"Crossref","is-referenced-by-count":2,"title":["Constructive lifting in graded structures: A unified view of Buchberger and Hensel methods"],"prefix":"10.1016","volume":"6","author":[{"given":"A.","family":"Miola","sequence":"first","affiliation":[]},{"given":"T.","family":"Mora","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0747-7171(88)80050-6_bib1","article-title":"Ein Algorithmmus zum Auffinden der Basis-elemente des Restklassenringes nach einem null-dimensionalen Polynomideal","author":"Buchberger","year":"1965"},{"key":"10.1016\/S0747-7171(88)80050-6_bib2","series-title":"Recent Trends in Multidimensional System Theory","article-title":"Gr\u00f6bner bases: an algorithmic method in polynomal ideal theory","author":"Buchberger","year":"1985"},{"key":"10.1016\/S0747-7171(88)80050-6_bib3","doi-asserted-by":"crossref","DOI":"10.1515\/9783112360026","author":"Hensel","year":"1913","journal-title":"Zahlentheorie. Goschen"},{"key":"10.1016\/S0747-7171(88)80050-6_bib4","doi-asserted-by":"crossref","first-page":"736","DOI":"10.1007\/BF01206635","article-title":"Die Frage die endlichen vielen Schritte in der Theorie der Polynomideale","volume":"95","author":"Hermann","year":"1926","journal-title":"Math. Ann."},{"key":"10.1016\/S0747-7171(88)80050-6_bib5","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/1970486","article-title":"Resolution of singularities of an algebraic variety over a field of characteristic zero","volume":"79","author":"Hironaka","year":"1964","journal-title":"Ann. Math."},{"key":"10.1016\/S0747-7171(88)80050-6_bib6","unstructured":"Lazard, D. Gr\u00f6bner bases, Gaussian elimination, and resolutions of systems of algebraic equations. Proc. EUROCAL '83 L.N.C.S.162, 142\u2013156."},{"key":"10.1016\/S0747-7171(88)80050-6_bib7","series-title":"Proc. EUROSAM '94","first-page":"46","article-title":"The computational aspects of Hensel-type univariate polynomial greatest common divisor algorithms","author":"Miola","year":"1974"},{"key":"10.1016\/S0747-7171(88)80050-6_bib8","series-title":"Proc. EUROCAL '85","first-page":"526","article-title":"A reduction strategy for the Taylor resolution","volume":"204","author":"M\u00f6ller","year":"1987"},{"key":"10.1016\/S0747-7171(88)80050-6_bib9","series-title":"Seven variations on standard bases","author":"Mora","year":"1987"},{"key":"10.1016\/S0747-7171(88)80050-6_bib10","series-title":"Element\u00e4re und praktische Idealtheorie","author":"Renschuch","year":"1976"},{"key":"10.1016\/S0747-7171(88)80050-6_bib11","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(86)80019-0","article-title":"On the theory of graded structures","volume":"2","author":"Robbiano","year":"1986","journal-title":"J. Symb. Comp."},{"key":"10.1016\/S0747-7171(88)80050-6_bib12","article-title":"The Hensel Lemma in Algebraic Manipulation","author":"Yun","year":"1974"},{"key":"10.1016\/S0747-7171(88)80050-6_bib13","series-title":"Proc. ACM Symsac '76","first-page":"248","article-title":"Algebraic algorithms using p-adic constructions","author":"Yun","year":"1976"},{"key":"10.1016\/S0747-7171(88)80050-6_bib14","series-title":"Generlized Gr\u00f6bner bases in commutative polynomial rings, Bachelor Th.","author":"Zacharias","year":"1978"},{"key":"10.1016\/S0747-7171(88)80050-6_bib15","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0022-314X(69)90047-X","article-title":"On Hensel factorization, I","volume":"1","author":"Zassenhaus","year":"1969","journal-title":"J. Number Theory"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717188800506?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717188800506?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,9,12]],"date-time":"2021-09-12T06:39:20Z","timestamp":1631428760000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717188800506"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,10]]},"references-count":15,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1988,10]]}},"alternative-id":["S0747717188800506"],"URL":"https:\/\/doi.org\/10.1016\/s0747-7171(88)80050-6","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[1988,10]]}}}