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

Christoph Walther. Verified Newton-Raphson Iteration for Multiplicative Inverses Modulo Powers of Any Base. ACM Transactions on Mathematical Software, 45(1), 2019. [doi]

Abstract

Abstract is missing.