{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T13:43:15Z","timestamp":1762782195634,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,11]],"date-time":"2018-07-11T00:00:00Z","timestamp":1531267200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100005304","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-17-CE40-0009"],"award-info":[{"award-number":["ANR-17-CE40-0009"]}],"id":[{"id":"10.13039\/501100005304","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007493","name":"Fondation Math\u00e9matique Jacques Hadamard","doi-asserted-by":"publisher","award":["PGMO GAMMA"],"award-info":[{"award-number":["PGMO GAMMA"]}],"id":[{"id":"10.13039\/501100007493","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,11]]},"DOI":"10.1145\/3208976.3209018","type":"proceedings-article","created":{"date-parts":[[2018,7,12]],"date-time":"2018-07-12T17:46:44Z","timestamp":1531417604000},"page":"71-78","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Towards Mixed Gr\u00f6bner Basis Algorithms"],"prefix":"10.1145","author":[{"given":"Mat\u00edas R.","family":"Bender","sequence":"first","affiliation":[{"name":"Sorbonne Universit\u00e9, CNRS, INRIA, Paris, France"}]},{"given":"Jean-Charles","family":"Faug\u00e8re","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, CNRS, INRIA, Paris, France"}]},{"given":"Elias","family":"Tsigaridas","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, CNRS, INRIA, Paris, France"}]}],"member":"320","published-online":{"date-parts":[[2018,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"243","article-title":"Formes d'inertie et complexe de Koszul associ\u00e9s \u00e0 des polyn\u00f4mes plurihomogenes","volume":"18","author":"Awane A.","year":"2005","unstructured":"A. Awane , A. Chkiriba , and M. Goze . 2005 . Formes d'inertie et complexe de Koszul associ\u00e9s \u00e0 des polyn\u00f4mes plurihomogenes . Revista Matematica Complutense Vol. 18 , 1 (2005), 243 -- 260 . A. Awane, A. Chkiriba, and M. Goze. 2005. Formes d'inertie et complexe de Koszul associ\u00e9s \u00e0 des polyn\u00f4mes plurihomogenes. Revista Matematica Complutense Vol. 18, 1 (2005), 243--260.","journal-title":"Revista Matematica Complutense"},{"volume-title":"Proc. Comp. Alg. Geom. and Commut. Algebra","author":"Bayer D.","key":"e_1_3_2_1_2_1","unstructured":"D. Bayer and D. Mumford . 1993. What can be computed in algebraic geometry? . In Proc. Comp. Alg. Geom. and Commut. Algebra . Cambridge Univ. Press, 1--48. D. Bayer and D. Mumford. 1993. What can be computed in algebraic geometry?. In Proc. Comp. Alg. Geom. and Commut. Algebra. Cambridge Univ. Press, 1--48."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3208976.3209011"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1515\/advgeom.2011.019"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2016.11.017"},{"volume-title":"Alg\u00e8bre: chapitre 10. Alg\u00e8bre homologique","author":"Bourbaki N.","key":"e_1_3_2_1_7_1","unstructured":"N. Bourbaki . 2007. Alg\u00e8bre: chapitre 10. Alg\u00e8bre homologique . Vol. Vol. 9 . Springer . N. Bourbaki. 2007. Alg\u00e8bre: chapitre 10. Alg\u00e8bre homologique. Vol. Vol. 9. Springer."},{"key":"e_1_3_2_1_8_1","volume-title":"Local Cohomology: An Algebraic Introduction with Geometric Applications","author":"Brodmann M. P.","year":"2013","unstructured":"M. P. Brodmann and R. Y. Sharp . 2013 . Local Cohomology: An Algebraic Introduction with Geometric Applications . Cambridge University Press . M. P. Brodmann and R. Y. Sharp. 2013. Local Cohomology: An Algebraic Introduction with Geometric Applications. Cambridge University Press."},{"key":"e_1_3_2_1_9_1","first-page":"1","article-title":"Some results and questions on Castelnuovo-Mumford regularity","volume":"254","author":"Chardin M.","year":"2007","unstructured":"M. Chardin . 2007 . Some results and questions on Castelnuovo-Mumford regularity . Lecture Notes in Pure and Applied Mathematics Vol. 254 (2007), 1 . M. Chardin. 2007. Some results and questions on Castelnuovo-Mumford regularity. Lecture Notes in Pure and Applied Mathematics Vol. 254 (2007), 1.","journal-title":"Lecture Notes in Pure and Applied Mathematics"},{"volume-title":"varieties, and algorithms","author":"Cox D.","key":"e_1_3_2_1_10_1","unstructured":"D. Cox , J. Little , and D. O'shea . 1992. Ideals , varieties, and algorithms . Springer . D. Cox, J. Little, and D. O'shea. 1992. Ideals, varieties, and algorithms. Springer."},{"volume-title":"Using algebraic geometry","author":"Cox D.","key":"e_1_3_2_1_11_1","unstructured":"D. Cox , J. Little , and D. O'shea . 2006. Using algebraic geometry . Springer . D. Cox, J. Little, and D. O'shea. 2006. Using algebraic geometry. Springer."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"D. Cox J. Little and H. Schenck. 2011. Toric varieties. AMS.  D. Cox J. Little and H. Schenck. 2011. Toric varieties. AMS.","DOI":"10.1090\/gsm\/124"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-02-02910-0"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"C. D'Andrea T. Krick and M. Sombra. 2013. Heights of varieties in multiprojective spaces and arithmetic Nullstellensatze. Annales Scientifiques de l'\u00c9cole Normale Sup\u00e9rieure Vol. 46 (2013) 549--627.  C. D'Andrea T. Krick and M. Sombra. 2013. Heights of varieties in multiprojective spaces and arithmetic Nullstellensatze. Annales Scientifiques de l'\u00c9cole Normale Sup\u00e9rieure Vol. 46 (2013) 549--627.","DOI":"10.24033\/asens.2196"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2016.07.031"},{"volume-title":"Commutative Algebra: with a view toward algebraic geometry","author":"Eisenbud D.","key":"e_1_3_2_1_16_1","unstructured":"D. Eisenbud . 2013. Commutative Algebra: with a view toward algebraic geometry . Vol. Vol. 150 . Springer . D. Eisenbud. 2013. Commutative Algebra: with a view toward algebraic geometry. Vol. Vol. 150. Springer."},{"key":"e_1_3_2_1_17_1","volume-title":"Bit complexity for multi-homogeneous polynomial system solving - Application to polynomial minimization. Journal of Symbolic Computation","author":"El Din M. S.","year":"2017","unstructured":"M. S. El Din and \u00c9. Schost. 2017. Bit complexity for multi-homogeneous polynomial system solving - Application to polynomial minimization. Journal of Symbolic Computation ( 2017 ). M. S. El Din and \u00c9. Schost. 2017. Bit complexity for multi-homogeneous polynomial system solving - Application to polynomial minimization. Journal of Symbolic Computation (2017)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.1996.0010"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/780506.780516"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.10.014"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1993.1051"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608663"},{"key":"e_1_3_2_1_23_1","unstructured":"I. M. Gelfand M. Kapranov and A. Zelevinsky. 2008. Discriminants resultants and multidimensional determinants. Springer.  I. M. Gelfand M. Kapranov and A. Zelevinsky. 2008. Discriminants resultants and multidimensional determinants. Springer."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.2000.0571"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2003.07.006"},{"key":"e_1_3_2_1_26_1","unstructured":"J. D. Hauenstein and J. I. Rodriguez. 2015. Multiprojective witness sets and a trace test. arXiv preprint arXiv:1507.07069 (2015).  J. D. Hauenstein and J. I. Rodriguez. 2015. Multiprojective witness sets and a trace test. arXiv preprint arXiv:1507.07069 (2015)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2012.03.006"},{"volume-title":"Proc","author":"Lazard D.","key":"e_1_3_2_1_28_1","unstructured":"D. Lazard . 1983. Gr\u00f6bner-Bases , Gaussian Elimination and Resolution of Systems of Algebraic Equations . In Proc . EUROCAL. Springer-Verlag , 146--156. D. Lazard. 1983. Gr\u00f6bner-Bases, Gaussian Elimination and Resolution of Systems of Algebraic Equations. In Proc. EUROCAL. Springer-Verlag, 146--156."},{"key":"e_1_3_2_1_29_1","volume-title":"Numerical solution of multivariate polynomial systems by homotopy continuation methods. Acta numerica","author":"Li T.-Y.","year":"1997","unstructured":"T.-Y. Li . 1997. Numerical solution of multivariate polynomial systems by homotopy continuation methods. Acta numerica Vol. 6 ( 1997 ), 399--436. T.-Y. Li. 1997. Numerical solution of multivariate polynomial systems by homotopy continuation methods. Acta numerica Vol. 6 (1997), 399--436."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1515\/crll.2004.040"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1090\/S1056-3911-04-00385-6"},{"key":"e_1_3_2_1_32_1","unstructured":"E. Miller and B. Sturmfels. 2004. Combinatorial commutative algebra. Springer.  E. Miller and B. Sturmfels. 2004. Combinatorial commutative algebra. Springer."},{"key":"e_1_3_2_1_33_1","first-page":"67","article-title":"Multigraded regularity: syzygies and fat points. Beitr","volume":"47","author":"Sidman J.","year":"2006","unstructured":"J. Sidman and A. Van Tuyl . 2006 . Multigraded regularity: syzygies and fat points. Beitr \" age Algebra Geom Vol. 47 , 1 (2006), 67 -- 87 . J. Sidman and A. Van Tuyl. 2006. Multigraded regularity: syzygies and fat points. Beitr\"age Algebra Geom Vol. 47, 1 (2006), 67--87.","journal-title":"age Algebra Geom"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022497624378"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1006\/jabr.1994.1007"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-98-02198-9"},{"key":"e_1_3_2_1_37_1","volume-title":"Indagationes Mathematicae (Proceedings)","volume":"81","author":"Van der Waerden B.","year":"1978","unstructured":"B. Van der Waerden . 1978 . On varieties in multiple-projective spaces . In Indagationes Mathematicae (Proceedings) , Vol. 81 . Elsevier, 303--312. B. Van der Waerden. 1978. On varieties in multiple-projective spaces. In Indagationes Mathematicae (Proceedings), Vol. 81. Elsevier, 303--312."},{"key":"e_1_3_2_1_38_1","first-page":"569","article-title":"Multigraded formulae for multigraded resultants","volume":"3","author":"Weyman J.","year":"1994","unstructured":"J. Weyman and A. Zelevinsky . 1994 . Multigraded formulae for multigraded resultants . J. Algebr. Geom Vol. 3 , 4 (1994), 569 -- 597 . J. Weyman and A. Zelevinsky. 1994. Multigraded formulae for multigraded resultants. J. Algebr. Geom Vol. 3, 4 (1994), 569--597.","journal-title":"J. Algebr. Geom"}],"event":{"name":"ISSAC '18: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"New York NY USA","acronym":"ISSAC '18"},"container-title":["Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3208976.3209018","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3208976.3209018","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:49Z","timestamp":1750208929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3208976.3209018"}},"subtitle":["the Multihomogeneous and Sparse Case"],"short-title":[],"issued":{"date-parts":[[2018,7,11]]},"references-count":37,"alternative-id":["10.1145\/3208976.3209018","10.1145\/3208976"],"URL":"https:\/\/doi.org\/10.1145\/3208976.3209018","relation":{},"subject":[],"published":{"date-parts":[[2018,7,11]]},"assertion":[{"value":"2018-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}