{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T17:19:36Z","timestamp":1778087976173,"version":"3.51.4"},"reference-count":32,"publisher":"American Mathematical Society (AMS)","issue":"343","license":[{"start":{"date-parts":[[2024,4,7]],"date-time":"2024-04-07T00:00:00Z","timestamp":1712448000000},"content-version":"am","delay-in-days":366,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"funder":[{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["PID2019- 104047GB-I00"],"award-info":[{"award-number":["PID2019- 104047GB-I00"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["CEX2020- 001084-M"],"award-info":[{"award-number":["CEX2020- 001084-M"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["H2020-MSCA-ITN-2019 research project GRAPES."],"award-info":[{"award-number":["H2020-MSCA-ITN-2019 research project GRAPES."]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011033","name":"Agencia Estatal de Investigaci\u00f3n","doi-asserted-by":"publisher","award":["PID2019- 104047GB-I00"],"award-info":[{"award-number":["PID2019- 104047GB-I00"]}],"id":[{"id":"10.13039\/501100011033","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011033","name":"Agencia Estatal de Investigaci\u00f3n","doi-asserted-by":"publisher","award":["CEX2020- 001084-M"],"award-info":[{"award-number":["CEX2020- 001084-M"]}],"id":[{"id":"10.13039\/501100011033","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011033","name":"Agencia Estatal de Investigaci\u00f3n","doi-asserted-by":"publisher","award":["H2020-MSCA-ITN-2019 research project GRAPES."],"award-info":[{"award-number":["H2020-MSCA-ITN-2019 research project GRAPES."]}],"id":[{"id":"10.13039\/501100011033","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010665","name":"H2020 Marie Sk\u0142odowska-Curie Actions","doi-asserted-by":"publisher","award":["PID2019- 104047GB-I00"],"award-info":[{"award-number":["PID2019- 104047GB-I00"]}],"id":[{"id":"10.13039\/100010665","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010665","name":"H2020 Marie Sk\u0142odowska-Curie Actions","doi-asserted-by":"publisher","award":["CEX2020- 001084-M"],"award-info":[{"award-number":["CEX2020- 001084-M"]}],"id":[{"id":"10.13039\/100010665","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010665","name":"H2020 Marie Sk\u0142odowska-Curie Actions","doi-asserted-by":"publisher","award":["H2020-MSCA-ITN-2019 research project GRAPES."],"award-info":[{"award-number":["H2020-MSCA-ITN-2019 research project GRAPES."]}],"id":[{"id":"10.13039\/100010665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"<p>In nice cases, a zero-dimensional complete intersection ideal over a field has a Shape Lemma. There are also cases where the ideal is generated by the resultant and first subresultant polynomials of the generators. This paper explores the relation between these representations and studies when the resultant generates the elimination ideal. We also prove a Poisson formula for resultants arising from the hidden variable method.<\/p>","DOI":"10.1090\/mcom\/3840","type":"journal-article","created":{"date-parts":[[2023,4,7]],"date-time":"2023-04-07T11:24:56Z","timestamp":1680866696000},"page":"2355-2379","source":"Crossref","is-referenced-by-count":7,"title":["Subresultants and the Shape Lemma"],"prefix":"10.1090","volume":"92","author":[{"given":"David","family":"Cox","sequence":"first","affiliation":[]},{"given":"Carlos","family":"D\u2019Andrea","sequence":"additional","affiliation":[]}],"member":"14","published-online":{"date-parts":[[2023,4,7]]},"reference":[{"key":"1","unstructured":"[Abel81] N. H. Abel, M\u00e9moire sur une propri\u00e9t\u00e9 g\u00e9n\u00e9rale d\u2019une classe tr\u00e8s-\u00e9tendue de fonctions transcendantes, in Oeuvres compl\u00e8tes de Niels Henrik Abel, vol. 1, Gr\u00f8ndahl, Christiana (Oslo), 1881, pp. 145\u2013211."},{"key":"2","unstructured":"[AJ06] F. Ap\u00e9ry and J.-P. Jouanolou, \u00c9limination. Le cas d\u2019une variable: R\u00e9sultant et sous-r\u00e9sultants, Hermann, 2006."},{"key":"3","doi-asserted-by":"crossref","unstructured":"[BMMT94] E. Becker, M. Marinari, T. Mora, and C. Traverso, The shape of the Shape Lemma, Proc. ISSAC94, ACM, New York, 1994, pp. 129\u2013133.","DOI":"10.1145\/190347.190382"},{"key":"4","unstructured":"[Bez64] \u00c9. B\u00e9zout, Sur le degr\u00e9 des \u00e9quations r\u00e9sultantes de l\u2019\u00e9vanouissement des inconnues, Hist. Acad. R. Sci. (1764), 288\u2013338."},{"key":"5","series-title":"Cambridge Studies in Advanced Mathematics","isbn-type":"print","volume-title":"Cohen-Macaulay rings","volume":"39","author":"Bruns, Winfried","year":"1993","ISBN":"https:\/\/id.crossref.org\/isbn\/0521410681"},{"issue":"1-2","key":"6","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1006\/jsco.1999.0267","article-title":"On the B\u00e9zout construction of the resultant","volume":"28","author":"Bikker, P.","year":"1999","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[Can88] J. Canny, Some algebraic and geometric computations in PSPACE, Twentieth ACM Symp. on Theory of Computing, 1988, pp. 460\u2013467.","DOI":"10.1145\/62212.62257"},{"issue":"5","key":"8","first-page":"433","article-title":"Formules \u00e0 la Macaulay pour les sous-r\u00e9sultants en plusieurs variables","volume":"319","author":"Chardin, Marc","year":"1994","journal-title":"C. R. Acad. Sci. Paris S\\'{e}r. I Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0764-4442","issn-type":"print"},{"issue":"2","key":"9","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0022-4049(95)90926-C","article-title":"Multivariate subresultants","volume":"101","author":"Chardin, Marc","year":"1995","journal-title":"J. Pure Appl. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0022-4049","issn-type":"print"},{"key":"10","isbn-type":"print","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/3-540-27357-3_2","article-title":"Solving equations via algebras","author":"Cox, David A.","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/9783540243267"},{"key":"11","series-title":"Undergraduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35651-8","volume-title":"Ideals, varieties, and algorithms","author":"Cox, David","year":"2007","ISBN":"https:\/\/id.crossref.org\/isbn\/9780387356501","edition":"3"},{"key":"12","series-title":"Graduate Texts in Mathematics","isbn-type":"print","volume-title":"Using algebraic geometry","volume":"185","author":"Cox, David A.","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/0387207066","edition":"2"},{"issue":"4","key":"13","doi-asserted-by":"publisher","first-page":"932","DOI":"10.1112\/plms\/pdu069","article-title":"A Poisson formula for the sparse resultant","volume":"110","author":"D\u2019Andrea, Carlos","year":"2015","journal-title":"Proc. Lond. Math. Soc. (3)","ISSN":"https:\/\/id.crossref.org\/issn\/0024-6115","issn-type":"print"},{"key":"14","unstructured":"[GRZ13] M. Gallet, H. Rahkooy, and Z. Zafeirakopoulos, On computing the elimination ideal using resultants with applications to Gr\u00f6bner bases, (2013)  arXiv:1307.5330 [math.AC]."},{"issue":"1-3","key":"15","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0304-3975(02)00639-4","article-title":"Subresultants revisited","volume":"297","author":"von zur Gathen, Joachim","year":"2003","journal-title":"Theoret. Comput. Sci.","ISSN":"https:\/\/id.crossref.org\/issn\/0304-3975","issn-type":"print"},{"issue":"1","key":"16","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1006\/jcom.2000.0571","article-title":"A Gr\u00f6bner free alternative for polynomial system solving","volume":"17","author":"Giusti, Marc","year":"2001","journal-title":"J. Complexity","ISSN":"https:\/\/id.crossref.org\/issn\/0885-064X","issn-type":"print"},{"issue":"1","key":"17","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0022-4049(91)90097-L","article-title":"Determinantal formulae for the solution set of zero-dimensional ideals","volume":"76","author":"Gonz\u00e1lez-Vega, Laureano","year":"1991","journal-title":"J. Pure Appl. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0022-4049","issn-type":"print"},{"key":"18","isbn-type":"print","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/3-540-51082-6_83","article-title":"Algebraic solution of systems of polynomial equations using Groebner bases","author":"Gianni, Patrizia","year":"1989","ISBN":"https:\/\/id.crossref.org\/isbn\/3540510826"},{"key":"19","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/BF02568027","article-title":"Zur inhomogenen Eliminationstheorie","volume":"21","author":"Habicht, Walter","year":"1948","journal-title":"Comment. Math. Helv.","ISSN":"https:\/\/id.crossref.org\/issn\/0010-2571","issn-type":"print"},{"key":"20","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1515\/crll.1836.15.101","article-title":"De eliminatione variabilis e duabus aequationibus algebraicis","volume":"15","author":"Jacobi, C. G. J.","year":"1836","journal-title":"J. Reine Angew. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0075-4102","issn-type":"print"},{"issue":"2","key":"21","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0001-8708(91)90031-2","article-title":"Le formalisme du r\u00e9sultant","volume":"90","author":"Jouanolou, J.-P.","year":"1991","journal-title":"Adv. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0001-8708","issn-type":"print"},{"issue":"12","key":"22","doi-asserted-by":"publisher","first-page":"3461","DOI":"10.1090\/S0002-9939-01-06001-4","article-title":"The algebraic closure of the power series field in positive characteristic","volume":"129","author":"Kedlaya, Kiran S.","year":"2001","journal-title":"Proc. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9939","issn-type":"print"},{"key":"23","unstructured":"[Math21] Wolfram Research, Inc., Mathematica, Version 13.0.0, Champaign, IL, 2021."},{"key":"24","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.cagd.2016.05.002","article-title":"Efficient computation of dual space and directional multiplicity of an isolated point","volume":"47","author":"Mantzaflaris, Angelos","year":"2016","journal-title":"Comput. Aided Geom. Design","ISSN":"https:\/\/id.crossref.org\/issn\/0167-8396","issn-type":"print"},{"key":"25","isbn-type":"print","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1145\/3087604.3087653","article-title":"Sparse rational univariate representation","author":"Mantzaflaris, Angelos","year":"2017","ISBN":"https:\/\/id.crossref.org\/isbn\/9781450350648"},{"key":"26","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1017\/S0017089500000422","article-title":"An algebraically closed field","volume":"9","author":"Rayner, F. J.","year":"1968","journal-title":"Glasgow Math. J.","ISSN":"https:\/\/id.crossref.org\/issn\/0017-0895","issn-type":"print"},{"issue":"5","key":"27","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/s002000050114","article-title":"Solving zero-dimensional systems through the rational univariate representation","volume":"9","author":"Rouillier, Fabrice","year":"1999","journal-title":"Appl. Algebra Engrg. Comm. Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0938-1279","issn-type":"print"},{"issue":"1","key":"28","first-page":"149","article-title":"The divisor of the resultant","volume":"37","author":"Scheja, G\u00fcnter","year":"1996","journal-title":"Beitr\\\"{a}ge Algebra Geom.","ISSN":"https:\/\/id.crossref.org\/issn\/0138-4821","issn-type":"print"},{"key":"29","series-title":"Research Notes in Mathematics","isbn-type":"print","doi-asserted-by":"crossref","DOI":"10.1201\/9781439863657","volume-title":"Regular sequences and resultants","volume":"8","author":"Scheja, G\u00fcnter","year":"2001","ISBN":"https:\/\/id.crossref.org\/isbn\/1568811519"},{"key":"#cr-split#-30.1","doi-asserted-by":"crossref","unstructured":"[Syl40] J. J. Sylvester, A method of determining by mere inspection the derivatives from two equations of any degree, Philos. Mag. 16 (1840), 132-135","DOI":"10.1080\/14786444008649995"},{"key":"#cr-split#-30.2","unstructured":"Mathematical Papers, vol. 1, Chelsea Publishing Co., New York, 1973, pp. 54-57."},{"issue":"1","key":"31","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/j.jsc.2007.09.001","article-title":"Solving over-determined systems by the subresultant method","volume":"43","author":"Szanto, Agnes","year":"2008","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.ams.org\/mcom\/2023-92-343\/S0025-5718-2023-03840-6\/mcom3840_AM.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"https:\/\/www.ams.org\/mcom\/2023-92-343\/S0025-5718-2023-03840-6\/S0025-5718-2023-03840-6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T05:01:15Z","timestamp":1776834075000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2023-92-343\/S0025-5718-2023-03840-6\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,7]]},"references-count":32,"journal-issue":{"issue":"343","published-print":{"date-parts":[[2023,9]]}},"alternative-id":["S0025-5718-2023-03840-6"],"URL":"https:\/\/doi.org\/10.1090\/mcom\/3840","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[2023,4,7]]}}}