{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T19:56:15Z","timestamp":1760385375023},"reference-count":19,"publisher":"Wiley","issue":"A","license":[{"start":{"date-parts":[[2014,8,1]],"date-time":"2014-08-01T00:00:00Z","timestamp":1406851200000},"content-version":"unspecified","delay-in-days":212,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["LMS J. Comput. Math."],"published-print":{"date-parts":[[2014]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We present a new method to propagate <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S1461157014000357_inline3\" \/><jats:tex-math>$p$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>-adic precision in computations, which also applies to other ultrametric fields. We illustrate it with some examples and give a toy application to the stable computation of the SOMOS 4 sequence.<\/jats:p>","DOI":"10.1112\/s1461157014000357","type":"journal-article","created":{"date-parts":[[2014,8,5]],"date-time":"2014-08-05T10:34:15Z","timestamp":1407234855000},"page":"274-294","source":"Crossref","is-referenced-by-count":10,"title":["Tracking -adic precision"],"prefix":"10.1112","volume":"17","author":[{"given":"Xavier","family":"Caruso","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Roe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tristan","family":"Vaccon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2014,8,1]]},"reference":[{"key":"S1461157014000357_r17","unstructured":"17. W. Stein , Sage mathematics software, The Sage Development Team, 2005\u20132013,http:\/\/www.sagemath.org."},{"key":"S1461157014000357_r16","first-page":"208","article-title":"Problem 1470","volume":"15","author":"Somos","year":"1989","journal-title":"Crux Mathematicorum"},{"key":"S1461157014000357_r15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21147-8"},{"key":"S1461157014000357_r11","doi-asserted-by":"publisher","DOI":"10.5802\/jtnb.650"},{"key":"S1461157014000357_r10","doi-asserted-by":"publisher","DOI":"10.1112\/S0024611503014461"},{"key":"S1461157014000357_r9","first-page":"323","article-title":"Counting points on hyperelliptic curves using Monsky\u2013Washnitzer cohomology","volume":"16","author":"Kedlaya","year":"2001","journal-title":"J. Ramanujan Math. Soc."},{"key":"S1461157014000357_r8","first-page":"293","article-title":"Multiplication of many-digital numbers by automatic computers","author":"Karatsuba","year":"1962","journal-title":"Proc. USSR Acad. Sci."},{"key":"S1461157014000357_r2","doi-asserted-by":"publisher","DOI":"10.5802\/jtnb.777"},{"key":"S1461157014000357_r1","unstructured":"1. C. Batut , K. Belabas , D. Benardi , H. Cohen and M. Olivier , User\u2019s guide to PARI-GP (1985\u20132013), http:\/\/pari.math.u-bordeaux.fr."},{"key":"S1461157014000357_r5","unstructured":"5. X. Caruso , \u2018Random matrices over a DVR and LU factorization\u2019, 2012, arXiv:1212.0308."},{"key":"S1461157014000357_r19","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.04.004"},{"key":"S1461157014000357_r13","first-page":"341","article-title":"Computable algebra, general theory and theory of computable fields","volume":"95","author":"Rabin","year":"1960","journal-title":"Trans. Amer. Math. Soc."},{"key":"S1461157014000357_r12","doi-asserted-by":"publisher","DOI":"10.24033\/asens.2139"},{"key":"S1461157014000357_r18","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2002.0562"},{"key":"S1461157014000357_r14","volume-title":"Variational analysis","author":"Rockafellar","year":"1997"},{"key":"S1461157014000357_r4","volume-title":"MEGA\u201905: Eighth International Symposium on Effective Methods in Algebraic Geometry","author":"Bostan","year":"2005"},{"key":"S1461157014000357_r7","doi-asserted-by":"publisher","DOI":"10.1007\/11935230_8"},{"key":"S1461157014000357_r3","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0125"},{"key":"S1461157014000357_r6","doi-asserted-by":"publisher","DOI":"10.1006\/aama.2001.0770"}],"container-title":["LMS Journal of Computation and Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1461157014000357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T01:46:52Z","timestamp":1555984012000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1461157014000357\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"references-count":19,"journal-issue":{"issue":"A","published-print":{"date-parts":[[2014]]}},"alternative-id":["S1461157014000357"],"URL":"https:\/\/doi.org\/10.1112\/s1461157014000357","relation":{},"ISSN":["1461-1570"],"issn-type":[{"value":"1461-1570","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}