We take a exposition at the paper “PRIMES is in P” by M. Agrawal, N. Kayal and N. Saxena (2004), in which they used Lenstra's idea and made a revision of their earlier version. We also present some details in the proof.
Lee, C. T. (2009). 量子點模擬所產生之多項式特徵值問題的數值研究 [master's thesis, National Taiwan Normal University]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0021-1610201315162183
III, L. J. M., Atkinson, E. J., Achenbach, S. J., Kanis, J. A., Therneau, T. M., Johansson, H., Khosla, S., & Amin, S. (2012). Potential Extensions of the US FRAX Algorithm. Journal of Osteoporosis, 2012(), 112-119. https://doi.org/10.1155/2012/528790