{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:20:57Z","timestamp":1750220457308,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T00:00:00Z","timestamp":1626566400000},"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":[[2021,7,18]]},"DOI":"10.1145\/3452143.3465513","type":"proceedings-article","created":{"date-parts":[[2021,7,13]],"date-time":"2021-07-13T22:32:21Z","timestamp":1626215541000},"page":"225-232","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Calcium"],"prefix":"10.1145","author":[{"given":"Fredrik","family":"Johansson","sequence":"first","affiliation":[{"name":"Inria Bordeaux & Institut Math. Bordeaux, Talence, France"}]}],"member":"320","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2013.09.001"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386037"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0125"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2005.07.001"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005285.1005298"},{"key":"e_1_3_2_1_6_1","unstructured":"Jacques Carette. 2020. Zero equivalence in computer algebra systems. Mathematics Stack Exchange https:\/\/math.stackexchange.com\/q\/3607862 ."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1999.12005066"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02945-9"},{"key":"e_1_3_2_1_9_1","unstructured":"Wolfram Decker Gert-Martin Greuel Gerhard Pfister and Hans Sch\u00f6nemann. 2019. Singular 4-1-2 -- A computer algebra system for polynomial computations. http:\/\/www.singular.uni-kl.de ."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15984-3_279"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3087604.3087611"},{"key":"e_1_3_2_1_12_1","unstructured":"S Fischler and T. Rivoal. 2019. Effective algebraic independence of values of E-functions. arxiv: 1906.05589 [math.NT]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15582-6_18"},{"key":"e_1_3_2_1_14_1","volume-title":"ANTIC: Algebraic number theory in C. Computeralgebra-Rundbrief","author":"Hart William B.","year":"2015","unstructured":"William B. Hart. 2015. ANTIC: Algebraic number theory in C. Computeralgebra-Rundbrief: Vol. 56 (2015)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/tc.2017.2690633"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.103"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145809"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/362637.362648"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45335-0_14"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/143242.143284"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/220346.220360"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0157"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-007-0002-x"},{"key":"e_1_3_2_1_25_1","unstructured":"Daniel Richardson. 2009. Recognising zero among implicitly defined elementary numbers. Unpublished preprint."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/190347.190429"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45455-1_38"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2009.09.005"},{"key":"e_1_3_2_1_29_1","unstructured":"The Sage Developers. 2020. SageMath the Sage Mathematics Software System (Version 9.0). https:\/\/www.sagemath.org."},{"volume-title":"The PARI Group","author":"The PARI Group 2019. PARI\/GP version 2.11.2.","key":"e_1_3_2_1_30_1","unstructured":"The PARI Group 2019. PARI\/GP version 2.11.2. The PARI Group, University of Bordeaux. http:\/\/pari.math.u-bordeaux.fr\/."},{"key":"e_1_3_2_1_31_1","volume-title":"Proc. of the conference \"Real numbers and computers\"","author":"van der Hoeven Joris","year":"1995","unstructured":"Joris van der Hoeven. 1995. Automatic numerical expansions. In Proc. of the conference \"Real numbers and computers\", Saint-\u00c9tienne, France. 261--274."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.09.060"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145795"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15582-6_24"}],"event":{"name":"ISSAC '21: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Virtual Event Russian Federation","acronym":"ISSAC '21"},"container-title":["Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452143.3465513","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452143.3465513","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:07Z","timestamp":1750193287000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452143.3465513"}},"subtitle":["Computing in Exact Real and Complex Fields"],"short-title":[],"issued":{"date-parts":[[2021,7,18]]},"references-count":33,"alternative-id":["10.1145\/3452143.3465513","10.1145\/3452143"],"URL":"https:\/\/doi.org\/10.1145\/3452143.3465513","relation":{},"subject":[],"published":{"date-parts":[[2021,7,18]]},"assertion":[{"value":"2021-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}