Agrawal, Manindra; Kayal, Neeraj; Saxena, Nitin Erratum: “PRIMES is in P”. (English) Zbl 1432.11180 Ann. Math. (2) 189, No. 1, 317-318 (2019). Erratum to the authors’ paper [ibid. (2) 160, No. 2, 781–793 (2004; Zbl 1071.11070)]. The proof of Lemma 4.3 in our paper is incorrect. Here we give a corrected proof, by changing the definition of \(r\). Cited in 1 ReviewCited in 3 Documents MSC: 11Y11 Primality 11Y16 Number-theoretic algorithms; complexity 68Q25 Analysis of algorithms and problem complexity 68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.) 11A51 Factorization; primality Keywords:primality; derandomization; cyclotomic; AKS; identity testing; deterministic; polynomial-time Citations:Zbl 1071.11070 × Cite Format Result Cite Review PDF Full Text: DOI References: [1] Agrawal, Manindra; Kayal, Neeraj; Saxena, Nitin, P{RIMES} is in {P}, Ann. of Math. (2). Annals of Mathematics. Second Series, 160, 781-793, (2004) · Zbl 1071.11070 · doi:10.4007/annals.2004.160.781 [2] Carlip, Walter; Somer, Lawrence, Private communication, {A}pril 2005 [3] Rempe-Gillen, Lasse, Private communication with {L. R}empe-{G}illen and students of {D}eutsche {S}chuelerakademie, {J}uly 2005 [4] Ruiz, Sebasti\'an M., Private communication, {J}uly 2018 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.