{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:39:04Z","timestamp":1730313544907,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,9]]},"DOI":"10.1145\/1145768.1145776","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"8-8","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Triangular decompositions of polynomial systems"],"prefix":"10.1145","author":[{"given":"Marc Moreno","family":"Maza","sequence":"first","affiliation":[{"name":"University of Western Ontario (UWO), London, Ontario, Canada"}]}],"member":"320","published-online":{"date-parts":[[2006,7,9]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1006\/jsco.1999.0269"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1006\/jsco.1999.0270"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/220346.220367"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/143242.143348"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/1073884.1073901"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. Transgressive Computing 2006","author":"Dahan X.","year":"2006","unstructured":"X. Dahan , M. Moreno Maza , \u00c9. Schost, and Y. Xie . On the complexity of the D5 principle . In Proc. Transgressive Computing 2006 , Granada, Spain , 2006 . X. Dahan, M. Moreno Maza, \u00c9. Schost, and Y. Xie. On the complexity of the D5 principle. In Proc. Transgressive Computing 2006, Granada, Spain, 2006."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/1005285.1005302"},{"key":"e_1_3_2_1_8_1","series-title":"Lect","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/3-540-15984-3_279","volume-title":"Proc. EUROCAL 85","author":"Della Dora J.","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, volume 204 of Lect . Notes in Comp. Sci., pp. 289 -- 290 . 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, volume 204 of Lect. Notes in Comp. Sci., pp. 289--290. Springer-Verlag, 1985."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/1145768.1145789"},{"key":"e_1_3_2_1_10_1","first-page":"119","volume-title":"Proc. MEGA'90","author":"Gallo G.","year":"1990","unstructured":"G. Gallo and B. Mishra . Efficient algorithms and bounds for Wu-Ritt characteristic sets . In Proc. MEGA'90 , pp. 119 -- 142 , 1990 . G. Gallo and B. Mishra. Efficient algorithms and bounds for Wu-Ritt characteristic sets. In Proc. MEGA'90, pp. 119--142, 1990."},{"key":"e_1_3_2_1_12_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 , pp. 355 -- 368 , 2005 . F. Lemaire, M. Moreno Maza, and Y. Xie. The RegularChains library. In Ilias S. Kotsireas, editor, Maple Conference 2005, pp. 355--368, 2005."},{"key":"e_1_3_2_1_14_1","volume-title":"Differential Equations from an Algebraic Standpoint","author":"Ritt J. F.","year":"1932","unstructured":"J. F. Ritt . Differential Equations from an Algebraic Standpoint , volume 14 . American Mathematical Society , New York , 1932 . J. F. Ritt. Differential Equations from an Algebraic Standpoint, volume 14. American Mathematical Society, New York, 1932."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1006\/jsco.1993.1035"},{"key":"e_1_3_2_1_16_1","first-page":"2","article-title":"A zero structure theorem for polynomial equations solving","volume":"1","author":"Wu W. T.","year":"1987","unstructured":"W. T. Wu . A zero structure theorem for polynomial equations solving . MM Research Preprints , 1 : 2 -- 12 , 1987 . W. T. Wu. A zero structure theorem for polynomial equations solving. MM Research Preprints, 1:2--12, 1987.","journal-title":"MM Research Preprints"},{"key":"e_1_3_2_1_17_1","volume-title":"Artificial intelligence in mathematics","author":"Yang L.","year":"1994","unstructured":"L. Yang and J. Zhang . Searching dependency between algebraic equations: an algorithm applied to automated reasoning . In J. Johnson, S. McKee, and A. Vella, editors, Artificial intelligence in mathematics . Oxford University Press , 1994 . L. Yang and J. Zhang. Searching dependency between algebraic equations: an algorithm applied to automated reasoning. In J. Johnson, S. McKee, and A. Vella, editors, Artificial intelligence in mathematics. Oxford University Press, 1994."}],"event":{"sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"acronym":"ISSAC06","name":"ISSAC06: International Symposium on Symbolic and Algebraic Computation","location":"Genoa Italy"},"container-title":["Proceedings of the 2006 international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1145768.1145776","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T21:59:57Z","timestamp":1673387997000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1145768.1145776"}},"subtitle":["from theory to practice"],"short-title":[],"issued":{"date-parts":[[2006,7,9]]},"references-count":15,"alternative-id":["10.1145\/1145768.1145776","10.1145\/1145768"],"URL":"https:\/\/doi.org\/10.1145\/1145768.1145776","relation":{},"subject":[],"published":{"date-parts":[[2006,7,9]]},"assertion":[{"value":"2006-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}