{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:44:24Z","timestamp":1762775064906,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN 2023-03463"],"award-info":[{"award-number":["RGPIN 2023-03463"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,7,28]]},"DOI":"10.1145\/3747199.3747579","type":"proceedings-article","created":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T10:51:17Z","timestamp":1762771877000},"page":"345-352","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Some Applications of Chinese Remainder Theorem Codes with Error-Correction"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8638-9357","authenticated-orcid":false,"given":"\u00c9ric","family":"Schost","sequence":"first","affiliation":[{"name":"University of Waterloo, Waterloo, Ontario, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-3770-2886","authenticated-orcid":false,"given":"Jesse","family":"Elliott","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Ontario, Canada"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/3666000.3669686"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"crossref","unstructured":"M. Agrawal N. Kayal and N. Saxena. 2004. PRIMES is in P. Annals of Mathematics 160 (2004) 781\u2013793.","DOI":"10.4007\/annals.2004.160.781"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-9104-2_1"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42432-3_12"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"J. B\u00f6hm W. Decker C. Fieker and G. Pfister. 2012. The use of bad primes in rational reconstruction. Math. Comput. 84 (2012) 3013\u20133027.","DOI":"10.1090\/mcom\/2951"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/1993886.1993900"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"crossref","unstructured":"C. D\u2019Andrea T. Krick and M. Sombra. 2013. Heights of varieties in muliprojective spaces and arithmetic nullstellensatz. Annales scientifiques de l\u2019\u00c9cole Normale Sup\u00e9rieure 46 4 (Aug 2013) 549\u2013627.","DOI":"10.24033\/asens.2196"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"C. D\u2019Andrea A. Ostafe I. Shparlinski and M. Sombra. 2019. Reductions modulo primes of systems of polynomial equations and algebraic dynamical systems. Trans. Amer. Math. Soc. 371 2 (2019) 1169\u20131198.","DOI":"10.1090\/tran\/7437"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139856065"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"M. Giusti K. H\u00e4gele J. Heintz J.-E. Morais J.-L. Monta\u00f1a and L.-M. Pardo. 1997. Lower bounds for diophantine approximation. J. of Pure and Applied Algebra 117\/118 (1997) 277\u2013317.","DOI":"10.1016\/S0022-4049(97)00015-7"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"crossref","unstructured":"M. Giusti J. Heintz J.-E. Morais J. Morgenstern and L.-M. Pardo. 1998. Straight-line programs in geometric elimination theory. Journal of Pure and Applied Algebra 124 (1998) 101\u2013146.","DOI":"10.1016\/S0022-4049(96)00099-0"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60114-7_16"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"crossref","unstructured":"M. Giusti G. Lecerf and B. Salvy. 2001. A Gr\u00f6bner-free alternative for polynomial system solving. Journal of Complexity 17 1 (2001) 154\u2013211.","DOI":"10.1006\/jcom.2000.0571"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"crossref","unstructured":"T. Krick L.-M. Pardo and M. Sombra. 2001. Sharp estimates for the arithmetic Nullstellensatz. Duke Mathematical Journal 109 3 (2001) 521\u2013598.","DOI":"10.1215\/dmj\/1000314065"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"L. Kronecker. 1882. Grundz\u00fcge einer arithmetischen Theorie der algebraischen Gr\u00f6ssen. Journal f\u00fcr die reine und angewandte Mathematik 92 (1882) 1\u2013122.","DOI":"10.1515\/crll.1882.92.1"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"G. Lecerf. 2002. Quadratic Newton iteration for systems with multiplicity. Foundations of Computational Mathematics 2 3 (2002) 247\u2013293.","DOI":"10.1007\/s102080010026"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.3792\/chmm\/1263317740"},{"key":"e_1_3_3_1_19_2","unstructured":"C. Pernet. 2014. High Performance and Reliable Algebraic Computing. HDR. Universit\u00e9 Joseph Fourier Grenoble 1. https:\/\/theses.hal.science\/tel-01094212"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"crossref","unstructured":"F. Rouillier. 1999. Solving zero-dimensional systems through the Rational Univariate Representation. Applicable Algebra in Engineering Communication and Computing 9 5 (1999) 433\u2013461.","DOI":"10.1007\/s002000050114"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"crossref","unstructured":"\u00c9. Schost. 2003. Computing parametric geometric resolutions. Applicable Algebra in Engineering Communication and Computing 13 5 (2003) 349\u2013393.","DOI":"10.1007\/s00200-002-0109-x"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"crossref","unstructured":"\u00c9. Schost and M.\u00a0Safey\u00a0El Din. 2018. Bit complexity for multi-homogeneous system solving Application to polynomial minimization. Journal of Symbolic Computation 87 (May 2018) 176\u2013206.","DOI":"10.1016\/j.jsc.2017.08.001"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"crossref","unstructured":"\u00c9. Schost and C. St-Pierre. 2024. Newton iteration for lexicographic Gr\u00f6bner bases in two variables. Journal of Algebra 653 (2024) 325\u2013377. doi:10.1016\/j.jalgebra.2024.04.018","DOI":"10.1016\/j.jalgebra.2024.04.018"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"crossref","unstructured":"\u00c9. Schost and C. St-Pierre. 2025. An m-adic algorithm for bivariate Gr\u00f6bner bases. Journal of Symbolic Computation 128 (2025) 102389. doi:10.1016\/j.jsc.2024.102389","DOI":"10.1016\/j.jsc.2024.102389"},{"key":"e_1_3_3_1_25_2","unstructured":"A. Storjohann. 1994. Computation of Hermite and Smith Normal Forms of Matrices. Master\u2019s thesis. University of Waterloo."},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"crossref","unstructured":"W. Trinks. 1984. On improving approximate results of Buchberger\u2019s algorithm by Newton\u2019s method. SIGSAM Bull. 18 3 (1984) 7\u201311.","DOI":"10.1145\/1089389.1089392"}],"event":{"name":"ISSAC '25: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Guanajuato Mexico","acronym":"ISSAC '25"},"container-title":["Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3747199.3747579","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:39:31Z","timestamp":1762774771000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3747199.3747579"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,28]]},"references-count":25,"alternative-id":["10.1145\/3747199.3747579","10.1145\/3747199"],"URL":"https:\/\/doi.org\/10.1145\/3747199.3747579","relation":{},"subject":[],"published":{"date-parts":[[2025,7,28]]},"assertion":[{"value":"2025-11-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}