Neeraj Kayal

Technology Kanpur）的計算機科學家，曼寧德拉·阿格拉瓦爾（英语：Manindra Agrawal）、尼拉吉·卡亞爾（英语：Neeraj Kayal）和尼汀·沙克謝納（英语：Nitin Saxena），在2002年8月6日發表於一篇題為質數屬於P的論文。作者們因此獲得了許多獎項，包含了

2006: Manindra Agrawal（英语：Manindra Agrawal）, Neeraj Kayal（英语：Neeraj Kayal） 和 Nitin Saxena（英语：Nitin Saxena） - AKS質數測試. Mark Jerrum（英语：Mark

Kozen指出Cobham與Edmonds是最可信，最早創造多項式時間這個名詞的人。 Manindra Agrawal, Neeraj Kayal, Nitin Saxena, "PRIMES is in P （页面存档备份，存于互联网档案馆）", Annals of Mathematics

— 完整的谷山-志村猜想被证明。 2002年 — 印度理工学院坎普尔分校的Manindra Agrawal 、 Nitin Saxena和Neeraj Kayal提出了一种无条件，确定性多项式时间算法来确定给定整數是否为質数。 2002年 — Preda Mihăilescu 证明了卡塔蘭猜想。 2004年

然而,在2002年的論文 PRIMES is in P, Manindra Agrawal 與他的學生 Neeraj Kayal 和 Nitin Saxena為了這個問題找到了一決定性，多項式時間的演算法，因而證實這個問題是在P裡面。 一個很重要的範例問題已知在BPP內