{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:03Z","timestamp":1750220703778,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,20]],"date-time":"2020-07-20T00:00:00Z","timestamp":1595203200000},"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":[[2020,7,20]]},"DOI":"10.1145\/3373207.3404065","type":"proceedings-article","created":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T14:07:23Z","timestamp":1595858843000},"page":"22-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["On the parallelization of triangular decompositions"],"prefix":"10.1145","author":[{"given":"Mohammadali","family":"Asadi","sequence":"first","affiliation":[{"name":"University of Western Ontario, London, Canada"}]},{"given":"Alexander","family":"Brandt","sequence":"additional","affiliation":[{"name":"University of Western Ontario, London, Canada"}]},{"given":"Robert H. C.","family":"Moir","sequence":"additional","affiliation":[{"name":"University of Western Ontario, London, Canada"}]},{"given":"Marc Moreno","family":"Maza","sequence":"additional","affiliation":[{"name":"University of Western Ontario, London, Canada"}]},{"given":"Yuzhen","family":"Xie","sequence":"additional","affiliation":[{"name":"University of Western Ontario, London, Canada"}]}],"member":"320","published-online":{"date-parts":[[2020,7,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"M. Asadi A. Brandt C. Chen S. Covanov F. Mansouri D. Mohajerani R. H. C. Moir M. Moreno Maza Lin-Xiao Wang Ning Xie and Yuzhen Xie. 2018. Basic Polynomial Algebra Subprograms (BPAS). http:\/\/www.bpaslib.org.  M. Asadi A. Brandt C. Chen S. Covanov F. Mansouri D. Mohajerani R. H. C. Moir M. Moreno Maza Lin-Xiao Wang Ning Xie and Yuzhen Xie. 2018. Basic Polynomial Algebra Subprograms (BPAS). http:\/\/www.bpaslib.org."},{"key":"e_1_3_2_1_2_1","first-page":"1","article-title":"Strategy-Accurate Parallel Buchberger Algorithms","volume":"22","author":"Attardi G.","year":"1996","unstructured":"G. Attardi and C. Traverso . 1996 . Strategy-Accurate Parallel Buchberger Algorithms . J. Symbolic Computation 22 (1996), 1 -- 15 . G. Attardi and C. Traverso. 1996. Strategy-Accurate Parallel Buchberger Algorithms. J. Symbolic Computation 22 (1996), 1--15.","journal-title":"J. Symbolic Computation"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0269"},{"volume-title":"Principles of concurrent and distributed programming","author":"Ben-Ari Mordechai","key":"e_1_3_2_1_4_1","unstructured":"Mordechai Ben-Ari . 1990. Principles of concurrent and distributed programming . Prentice Hall . Mordechai Ben-Ari. 1990. Principles of concurrent and distributed programming. Prentice Hall."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442829.2442845"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2012.07.002"},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. of Transgressive Computing","author":"Boulier F.","year":"2006","unstructured":"F. Boulier , F. Lemaire , and M. Moreno Maza . 2006. Well known theorems on triangular systems and the D5 principle . In Proc. of Transgressive Computing 2006 . Granada, Spain. F. Boulier, F. Lemaire, and M. Moreno Maza. 2006. Well known theorems on triangular systems and the D5 principle. In Proc. of Transgressive Computing 2006. Granada, Spain."},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. of the Jap. Symp. on functional programming. 54--61","author":"Buchberger B.","year":"1987","unstructured":"B. Buchberger . 1987 . The parallelization of critical-pair\/completion procedures on the L-Machine . In Proc. of the Jap. Symp. on functional programming. 54--61 . B. Buchberger. 1987. The parallelization of critical-pair\/completion procedures on the L-Machine. In Proc. of the Jap. Symp. on functional programming. 54--61."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/190347.190427"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.023"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073901"},{"key":"e_1_3_2_1_12_1","volume-title":"Parallelization of Gr\u00f6bner Basis. In Parallel Symbolic Computation PASCO 1994 Proceedings","volume":"5","author":"Faugere J. C.","year":"1994","unstructured":"J. C. Faugere . 1994 . Parallelization of Gr\u00f6bner Basis. In Parallel Symbolic Computation PASCO 1994 Proceedings , Vol. 5 . World Scientific, 124. J. C. Faugere. 1994. Parallelization of Gr\u00f6bner Basis. In Parallel Symbolic Computation PASCO 1994 Proceedings, Vol. 5. World Scientific, 124."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2790282.2790285"},{"key":"e_1_3_2_1_14_1","volume-title":"ISSAC 2016","author":"Hu Jiaxiong","year":"2016","unstructured":"Jiaxiong Hu and Michael B. Monagan . 2016. A Fast Parallel Sparse Polynomial GCD Algorithm . In ISSAC 2016 , Waterloo, ON, Canada, July 19--22 , 2016 . 271--278. Jiaxiong Hu and Michael B. Monagan. 2016. A Fast Parallel Sparse Polynomial GCD Algorithm. In ISSAC 2016, Waterloo, ON, Canada, July 19--22, 2016. 271--278."},{"volume-title":"Encyclopedia of Parallel Computing. 273--288.","author":"Leiserson C. E.","key":"e_1_3_2_1_15_1","unstructured":"C. E. Leiserson . 2011. Cilk . In Encyclopedia of Parallel Computing. 273--288. C. E. Leiserson. 2011. Cilk. In Encyclopedia of Parallel Computing. 273--288."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1113439.1113456"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576736"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"M. McCool J. Reinders and A. Robison. 2012. Structured parallel programming: patterns for efficient computation. Elsevier.  M. McCool J. Reinders and A. Robison. 2012. Structured parallel programming: patterns for efficient computation. Elsevier.","DOI":"10.1016\/B978-0-12-415993-8.00003-7"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of PASCO","author":"Monagan M.","year":"2010","unstructured":"M. Monagan and R. Pearce . 2010. Parallel sparse polynomial division using heaps . In Proceedings of PASCO 2010 . ACM, 105--111. M. Monagan and R. Pearce. 2010. Parallel sparse polynomial division using heaps. In Proceedings of PASCO 2010. ACM, 105--111."},{"volume-title":"Sparse Multivariate Hensel Lifting: A High-Performance Design and Implementation. In ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24--27, 2018, Proceedings. 359--368","author":"Michael","key":"e_1_3_2_1_20_1","unstructured":"Michael B. Monagan and Baris Tuncer. 2018 . Sparse Multivariate Hensel Lifting: A High-Performance Design and Implementation. In ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24--27, 2018, Proceedings. 359--368 . Michael B. Monagan and Baris Tuncer. 2018. Sparse Multivariate Hensel Lifting: A High-Performance Design and Implementation. In ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24--27, 2018, Proceedings. 359--368."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278177.1278189"},{"key":"e_1_3_2_1_22_1","first-page":"298","article-title":"A parallel implementation of the cylindrical algebraic decomposition algorithm","volume":"89","author":"Saunders B. D.","year":"1989","unstructured":"B. D. Saunders , H. R. Lee , and S. K. Abdali . 1989 . A parallel implementation of the cylindrical algebraic decomposition algorithm . In ISSAC , Vol. 89. 298 -- 307 . B. D. Saunders, H. R. Lee, and S. K. Abdali. 1989. A parallel implementation of the cylindrical algebraic decomposition algorithm. In ISSAC, Vol. 89. 298--307.","journal-title":"ISSAC"},{"volume-title":"Programming Language Pragmatics (3. ed.)","author":"Scott Michael L.","key":"e_1_3_2_1_23_1","unstructured":"Michael L. Scott . 2009. Programming Language Pragmatics (3. ed.) . Academic Press . Michael L. Scott. 2009. Programming Language Pragmatics (3. ed.). Academic Press."}],"event":{"name":"ISSAC '20: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Kalamata Greece","acronym":"ISSAC '20"},"container-title":["Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373207.3404065","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373207.3404065","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:32:58Z","timestamp":1750199578000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373207.3404065"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,20]]},"references-count":23,"alternative-id":["10.1145\/3373207.3404065","10.1145\/3373207"],"URL":"https:\/\/doi.org\/10.1145\/3373207.3404065","relation":{},"subject":[],"published":{"date-parts":[[2020,7,20]]},"assertion":[{"value":"2020-07-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}