Verified Newton–Raphson Iteration for Multiplicative Inverses Modulo Powers of Any Base (Q5237421)
From MaRDI portal
scientific article; zbMATH DE number 7119128
Language | Label | Description | Also known as |
---|---|---|---|
English | Verified Newton–Raphson Iteration for Multiplicative Inverses Modulo Powers of Any Base |
scientific article; zbMATH DE number 7119128 |
Statements
Verified Newton–Raphson Iteration for Multiplicative Inverses Modulo Powers of Any Base (English)
0 references
18 October 2019
0 references
modular arithmetic
0 references
Newton-Raphson iteration
0 references
multiplicative inverses
0 references
theorem proving by induction
0 references