{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T08:29:04Z","timestamp":1776846544831,"version":"3.51.2"},"reference-count":30,"publisher":"American Mathematical Society (AMS)","issue":"276","license":[{"start":{"date-parts":[[2012,1,20]],"date-time":"2012-01-20T00:00:00Z","timestamp":1327017600000},"content-version":"am","delay-in-days":365,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"<p>\n                    We compute all irregular primes less than 163\u00a0577\u00a0856. For all of these primes we verify that the Kummer\u2013Vandiver conjecture holds and that the\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"lamda\">\n                        <mml:semantics>\n                          <mml:mi>\n                            \u03bb\n                            \n                          <\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">\\lambda<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    -invariant is equal to the index of irregularity.\n                  <\/p>","DOI":"10.1090\/s0025-5718-2011-02461-0","type":"journal-article","created":{"date-parts":[[2011,1,20]],"date-time":"2011-01-20T12:17:14Z","timestamp":1295525834000},"page":"2435-2444","source":"Crossref","is-referenced-by-count":17,"title":["Irregular primes to 163 million"],"prefix":"10.1090","volume":"80","author":[{"given":"J.","family":"Buhler","sequence":"first","affiliation":[]},{"given":"D.","family":"Harvey","sequence":"additional","affiliation":[]}],"member":"14","published-online":{"date-parts":[[2011,1,20]]},"reference":[{"issue":"1-2","key":"1","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1006\/jsco.1999.1011","article-title":"Irregular primes and cyclotomic invariants to 12 million","volume":"31","author":"Buhler, Joe","year":"2001","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"issue":"203","key":"2","doi-asserted-by":"publisher","first-page":"151","DOI":"10.2307\/2152942","article-title":"Irregular primes and cyclotomic invariants to four million","volume":"61","author":"Buhler, J.","year":"1993","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"200","key":"3","doi-asserted-by":"publisher","first-page":"717","DOI":"10.2307\/2153086","article-title":"Irregular primes to one million","volume":"59","author":"Buhler, J. P.","year":"1992","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[BLS03] A. Bostan, G. Lecerf, and \u00c9. Schost, Tellegen\u2019s principle into practice, Symbolic and Algebraic Computation (J. R. Sendra, ed.), ACM Press, 2003, Proceedings of ISSAC\u201903, Philadelphia, August 2003., pp. 37\u201344.","DOI":"10.1145\/860854.860870"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[Blu70] L. Bluestein, A linear filtering approach to the computation of discrete Fourier transform, Audio and Electroacoustics, IEEE Transactions on 18 (1970), no. 4, 451\u2013455.","DOI":"10.1109\/TAU.1970.1162132"},{"issue":"1","key":"6","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MAHC.2008.6","article-title":"Fermat meets SWAC: Vandiver, the Lehmers, computers, and number theory","volume":"30","author":"Corry, Leo","year":"2008","journal-title":"IEEE Ann. Hist. Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/1058-6180","issn-type":"print"},{"key":"7","unstructured":"[Dil09] 2009, http:\/\/www.mscs.dal.ca\/\u02dcdilcher\/bernoulli.html\/."},{"key":"8","series-title":"Queen's Papers in Pure and Applied Mathematics","volume-title":"Bernoulli numbers","volume":"87","author":"Dilcher, Karl","year":"1991"},{"issue":"194","key":"9","doi-asserted-by":"publisher","first-page":"851","DOI":"10.2307\/2008413","article-title":"Cyclotomic invariants for primes between 125000 and 150000","volume":"56","author":"Ernvall, R.","year":"1991","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"199","key":"10","doi-asserted-by":"publisher","first-page":"249","DOI":"10.2307\/2152994","article-title":"Cyclotomic invariants for primes to one million","volume":"59","author":"Ernvall, R.","year":"1992","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"11","unstructured":"[Gra08] T. Granlund, The GNU Multiple Precision Arithmetic library, 2008, http:\/\/gmplib.org\/."},{"key":"12","doi-asserted-by":"crossref","unstructured":"[Har08a] D. Harvey, A multimodular algorithm for computing Bernoulli numbers, Math. Comp. 79 (2010), 2361\u20132370.","DOI":"10.1090\/S0025-5718-2010-02367-1"},{"key":"13","unstructured":"[Har08b] \\bysame, The zn_poly library, 2008, http:\/\/www.cims.nyu.edu\/\u02dcharvey\/zn_poly\/."},{"issue":"27-29","key":"14","doi-asserted-by":"publisher","first-page":"2649","DOI":"10.1016\/j.tcs.2009.03.014","article-title":"A cache-friendly truncated FFT","volume":"410","author":"Harvey, David","year":"2009","journal-title":"Theoret. Comput. Sci.","ISSN":"https:\/\/id.crossref.org\/issn\/0304-3975","issn-type":"print"},{"issue":"10","key":"15","doi-asserted-by":"publisher","first-page":"1502","DOI":"10.1016\/j.jsc.2009.05.004","article-title":"Faster polynomial multiplication via multipoint Kronecker substitution","volume":"44","author":"Harvey, David","year":"2009","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"16","unstructured":"[Har09c] \\bysame, http:\/\/www.cims.nyu.edu\/\u02dcharvey\/irregular\/, 2009."},{"issue":"6","key":"17","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/s00200-003-0144-2","article-title":"The middle product algorithm. I","volume":"14","author":"Hanrot, Guillaume","year":"2004","journal-title":"Appl. Algebra Engrg. Comm. Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0938-1279","issn-type":"print"},{"key":"18","doi-asserted-by":"publisher","first-page":"113","DOI":"10.2307\/2005468","article-title":"Irregular primes and cyclotomic invariants","volume":"29","author":"Johnson, Wells","year":"1975","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"19","series-title":"Graduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0987-4","volume-title":"Cyclotomic fields I and II","volume":"121","author":"Lang, Serge","year":"1990","ISBN":"https:\/\/id.crossref.org\/isbn\/0387966714","edition":"2"},{"issue":"2","key":"20","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1109\/TASSP.1980.1163372","article-title":"Fast polynomial transform algorithms for digital convolution","volume":"28","author":"Nussbaumer, Henri J.","year":"1980","journal-title":"IEEE Trans. Acoust. Speech Signal Process.","ISSN":"https:\/\/id.crossref.org\/issn\/0096-3518","issn-type":"print"},{"issue":"4","key":"21","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/bf00289470","article-title":"Schnelle Multiplikation von Polynomen \u00fcber K\u00f6rpern der Charakteristik 2","volume":"7","author":"Sch\u00f6nhage, A.","year":"1976","journal-title":"Acta Informat."},{"key":"22","unstructured":"[Sho09] V. Shoup, NTL: A library for doing number theory, http:\/\/www.shoup.net\/ntl\/, 2009."},{"issue":"1","key":"23","first-page":"1","article-title":"A remark on the paper of T. Uehara: \u201cOn \ud835\udc5d-adic continuous functions determined by the Euler numbers\u201d [Rep. Fac. Sci. Engrg. Saga Univ. Math. No. 8 (1980), 1\u20138; MR0567622 (81e:12020)]","volume":"15","author":"Slavut\u22c5ski\u012d, I. Sh.","year":"1987","journal-title":"Rep. Fac. Sci. Engrg. Saga Univ. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0387-8538","issn-type":"print"},{"key":"24","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/bf02242355","article-title":"Schnelle Multiplikation grosser Zahlen","volume":"7","author":"Sch\u00f6nhage, A.","year":"1971","journal-title":"Computing (Arch. Elektron. Rechnen)","ISSN":"https:\/\/id.crossref.org\/issn\/0010-485X","issn-type":"print"},{"issue":"177","key":"25","doi-asserted-by":"publisher","first-page":"341","DOI":"10.2307\/2007895","article-title":"New congruences for the Bernoulli numbers","volume":"48","author":"Tanner, Jonathan W.","year":"1987","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"3","key":"26","doi-asserted-by":"publisher","first-page":"105","DOI":"10.2307\/2007115","article-title":"Symmetric functions formed by systems of elements of a finite algebra and their connection with Fermat\u2019s quotient and Bernoulli\u2019s numbers","volume":"18","author":"Vandiver, H. S.","year":"1917","journal-title":"Ann. of Math. (2)","ISSN":"https:\/\/id.crossref.org\/issn\/0003-486X","issn-type":"print"},{"key":"27","isbn-type":"print","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1145\/1005285.1005327","article-title":"The truncated Fourier transform and applications","author":"van der Hoeven, Joris","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/158113827X"},{"key":"28","unstructured":"[vdH05] \\bysame, Notes on the truncated Fourier transform, unpublished, available from http:\/\/www.math.u-psud.fr\/\u02dcvdhoeven\/, 2005."},{"issue":"142","key":"29","doi-asserted-by":"publisher","first-page":"583","DOI":"10.2307\/2006167","article-title":"The irregular primes to 125000","volume":"32","author":"Wagstaff, Samuel S., Jr.","year":"1978","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"30","series-title":"Graduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1934-7","volume-title":"Introduction to cyclotomic fields","volume":"83","author":"Washington, Lawrence C.","year":"1997","ISBN":"https:\/\/id.crossref.org\/isbn\/0387947620","edition":"2"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.ams.org\/mcom\/2011-80-276\/S0025-5718-2011-02461-0\/S0025-5718-2011-02461-0.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/www.ams.org\/mcom\/2011-80-276\/S0025-5718-2011-02461-0\/S0025-5718-2011-02461-0.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T16:58:44Z","timestamp":1776790724000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2011-80-276\/S0025-5718-2011-02461-0\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,20]]},"references-count":30,"journal-issue":{"issue":"276","published-print":{"date-parts":[[2011,10]]}},"alternative-id":["S0025-5718-2011-02461-0"],"URL":"https:\/\/doi.org\/10.1090\/s0025-5718-2011-02461-0","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[2011,1,20]]}}}