{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:10Z","timestamp":1750307530683,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,7,28]],"date-time":"2009-07-28T00:00:00Z","timestamp":1248739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,7,28]]},"DOI":"10.1145\/1576702.1576736","type":"proceedings-article","created":{"date-parts":[[2009,7,28]],"date-time":"2009-07-28T12:45:28Z","timestamp":1248785128000},"page":"239-246","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Computations modulo regular chains"],"prefix":"10.1145","author":[{"given":"Xin","family":"Li","sequence":"first","affiliation":[{"name":"University of Western Ontario, London, ON, Canada"}]},{"given":"Marc Moreno","family":"Maza","sequence":"additional","affiliation":[{"name":"University of Western Ontario, London, ON, Canada"}]},{"given":"Wei","family":"Pan","sequence":"additional","affiliation":[{"name":"University of Western Ontario, London, ON, Canada"}]}],"member":"320","published-online":{"date-parts":[[2009,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Introduction to Commutative Algebra","author":"Atiyah M. F.","year":"1969","unstructured":"M. F. Atiyah and L. G. Macdonald . Introduction to Commutative Algebra . Addison-Wesley , 1969 . M. F. Atiyah and L. G. Macdonald. Introduction to Commutative Algebra. Addison-Wesley, 1969."},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. of Transgressive Computing 2006","author":"Boulier F.","year":"2006","unstructured":"F. Boulier , F. Lemaire , and M. Moreno Maza . Well known theorems on triangular systems and the D5 principle . In Proc. of Transgressive Computing 2006 , Granada, Spain , 2006 . F. Boulier, F. Lemaire, and M. Moreno Maza. Well known theorems on triangular systems and the D5 principle. In Proc. of Transgressive Computing 2006, Granada, Spain, 2006."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01178683"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"C.\n      Chen O.\n      Golubitsky F.\n      Lemaire M. Moreno\n      Maza and \n      W.\n      Pan\n  . \n  Comprehensive Triangular Decomposition volume \n  4770\n   of \n  LNCS pages \n  73\n  --\n  101\n  . \n  Springer Verlag 2007\n  .   C. Chen O. Golubitsky F. Lemaire M. Moreno Maza and W. Pan. Comprehensive Triangular Decomposition volume 4770 of LNCS pages 73--101. Springer Verlag 2007.","DOI":"10.1007\/978-3-540-75187-8_7"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/321662.321666"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. of Transgressive Computing 2006","author":"Dahan X.","year":"2006","unstructured":"X. Dahan , M. Moreno Maza , É. Schost, and Y. Xie . On the complexity of the D5 principle . In Proc. of Transgressive Computing 2006 , Granada, Spain , 2006 . X. Dahan, M. Moreno Maza, É. Schost, and Y. Xie. On the complexity of the D5 principle. In Proc. of Transgressive Computing 2006, Granada, Spain, 2006."},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. EUROCAL 85","author":"Dora J. Della","year":"1985","unstructured":"J. Della Dora , C. Dicrescenzo , and D. Duval . About a new method for computing in algebraic number fields . In Proc. EUROCAL 85 Vol. 2 , Springer-Verlag , 1985 . J. Della Dora, C. Dicrescenzo, and D. Duval. About a new method for computing in algebraic number fields. In Proc. EUROCAL 85 Vol. 2, Springer-Verlag, 1985."},{"key":"e_1_3_2_1_8_1","unstructured":"L. Ducos. Effectivité en théorie de Galois. Sous'résultants. PhD thesis Université de Poitiers 1997.  L. Ducos. Effectivité en théorie de Galois. Sous'résultants. PhD thesis Université de Poitiers 1997."},{"key":"e_1_3_2_1_9_1","unstructured":"D. Duval. Questions Relatives au Calcul Formel avec des Nombres Algébriques. Université de Grenoble 1987. Thése d-´Etat.  D. Duval. Questions Relatives au Calcul Formel avec des Nombres Algébriques. Université de Grenoble 1987. Thése d-´Etat."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(02)00135-9"},{"key":"e_1_3_2_1_11_1","volume-title":"Modern Computer Algebra","author":"von zur Gathen J.","year":"1999","unstructured":"J. von zur Gathen and J. Gerhard . Modern Computer Algebra . Cambridge University Press , 1999 . J. von zur Gathen and J. Gerhard. Modern Computer Algebra. Cambridge University Press, 1999."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005285.1005327"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1993.1011"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(91)90113-B"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80086-7"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390798"},{"key":"e_1_3_2_1_18_1","first-page":"355","volume-title":"Maple Conference 2005","author":"Lemaire F.","year":"2005","unstructured":"F. Lemaire , M. Moreno Maza , and Y. Xie . The RegularChains library. In Ilias S. Kotsireas, editor , Maple Conference 2005 , pages 355 -- 368 , 2005 . F. Lemaire, M. Moreno Maza, and Y. Xie. The RegularChains library. In Ilias S. Kotsireas, editor, Maple Conference 2005, pages 355--368, 2005."},{"key":"e_1_3_2_1_19_1","volume-title":"MICA'08","author":"Li X.","year":"2008","unstructured":"X. Li , M. Moreno Maza , R. Rasheed , and É. Schost. The modpn library: Bringing fast polynomial arithmetic into maple . In MICA'08 , 2008 . X. Li, M. Moreno Maza, R. Rasheed, and É. Schost. The modpn library: Bringing fast polynomial arithmetic into maple. In MICA'08, 2008."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1277548.1277585"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"B. Mishra. Algorithmic Algebra. Springer New York 1993.   B. Mishra. Algorithmic Algebra. Springer New York 1993.","DOI":"10.1007\/978-1-4612-4344-1"},{"key":"e_1_3_2_1_23_1","first-page":"365","volume-title":"Proc. AAECC-11","author":"Moreno Maza M.","year":"1995","unstructured":"M. Moreno Maza and R. Rioboo . Polynomial gcd computations over towers of algebraic extensions . In Proc. AAECC-11 , pages 365 -- 382 . Springer , 1995 . M. Moreno Maza and R. Rioboo. Polynomial gcd computations over towers of algebraic extensions. In Proc. AAECC-11, pages 365--382. Springer, 1995."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1994.1042"},{"key":"e_1_3_2_1_25_1","volume-title":"Princeton University Press","author":"Yap C. K.","year":"1993","unstructured":"C. K. Yap . Fundamental Problems in Algorithmic Algebra . Princeton University Press , 1993 . C. K. Yap. Fundamental Problems in Algorithmic Algebra. Princeton University Press, 1993."}],"event":{"name":"ISSAC '09: International Symposium on Symbolic and Algebraic Computation","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Seoul Republic of Korea","acronym":"ISSAC '09"},"container-title":["Proceedings of the 2009 international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1576702.1576736","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1576702.1576736","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:09Z","timestamp":1750249389000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1576702.1576736"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,28]]},"references-count":23,"alternative-id":["10.1145\/1576702.1576736","10.1145\/1576702"],"URL":"https:\/\/doi.org\/10.1145\/1576702.1576736","relation":{},"subject":[],"published":{"date-parts":[[2009,7,28]]},"assertion":[{"value":"2009-07-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}