Verified Newton–Raphson Iteration for Multiplicative Inverses Modulo Powers of Any Base

DOI10.1145/3301317zbMATH Open1471.65033OpenAlexW2916054977WikidataQ113310044 ScholiaQ113310044MaRDI QIDQ5237421

Christoph Walther

Publication date: 18 October 2019

Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3301317

zbMATH Keywords

Newton-Raphson iterationmodular arithmetictheorem proving by inductionmultiplicative inverses

Mathematics Subject Classification ID

Algorithms with automatic result verification (65G20) Numerical linear algebra (65F99)

Related Items (1)

On Newton–Raphson Iteration for Multiplicative Inverses Modulo Prime Powers

This page was built for publication: Verified Newton–Raphson Iteration for Multiplicative Inverses Modulo Powers of Any Base

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5237421)