LECTURE NOTES IN ANALYSIS (2011)
《LECTURE NOTES IN ANALYSIS (2011)》 · 第 78 页 · Section 2.4「Techniques of Numerical Calculation」
When the strong pseudoprime test is inconclusive, we call $m$ a strong probable prime.