{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T04:13:15Z","timestamp":1776831195153,"version":"3.51.2"},"reference-count":22,"publisher":"American Mathematical Society (AMS)","issue":"235","license":[{"start":{"date-parts":[[2001,3,15]],"date-time":"2001-03-15T00:00:00Z","timestamp":984614400000},"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":"

\n Let\n \n \n \n p<\/mml:mi>\n p<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n be a prime congruent to 1 modulo\u00a04, and let\n \n \n \n \n t<\/mml:mi>\n ,<\/mml:mo>\n u<\/mml:mi>\n <\/mml:mrow>\n t, u<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n be rational integers such that\n \n \n \n \n (<\/mml:mo>\n t<\/mml:mi>\n +<\/mml:mo>\n u<\/mml:mi>\n \n p<\/mml:mi>\n <\/mml:msqrt>\n \n )<\/mml:mo>\n \n \/<\/mml:mo>\n <\/mml:mrow>\n 2<\/mml:mn>\n <\/mml:mrow>\n (t+u\\sqrt {p}\\,)\/2<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n is the fundamental unit of the real quadratic field\n \n \n \n \n \n Q<\/mml:mi>\n <\/mml:mrow>\n (<\/mml:mo>\n \n p<\/mml:mi>\n <\/mml:msqrt>\n \n )<\/mml:mo>\n <\/mml:mrow>\n \\mathbb {Q}(\\sqrt {p}\\,)<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n . The Ankeny-Artin-Chowla conjecture (AAC conjecture) asserts that\n \n \n \n p<\/mml:mi>\n p<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n will not divide\n \n \n \n u<\/mml:mi>\n u<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n . This is equivalent to the assertion that\n \n \n \n p<\/mml:mi>\n p<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n will not divide\n \n \n \n \n B<\/mml:mi>\n \n (<\/mml:mo>\n p<\/mml:mi>\n \n \u2212\n \n <\/mml:mo>\n 1<\/mml:mn>\n )<\/mml:mo>\n \n \/<\/mml:mo>\n <\/mml:mrow>\n 2<\/mml:mn>\n <\/mml:mrow>\n <\/mml:msub>\n B_{(p-1)\/2}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n , where\n \n \n \n \n B<\/mml:mi>\n \n n<\/mml:mi>\n <\/mml:mrow>\n <\/mml:msub>\n B_{n}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n denotes the\n \n \n \n n<\/mml:mi>\n n<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n th Bernoulli number. Although first published in 1952, this conjecture still remains unproved today. Indeed, it appears to be most difficult to prove. Even testing the conjecture can be quite challenging because of the size of the numbers\n \n \n \n \n t<\/mml:mi>\n ,<\/mml:mo>\n u<\/mml:mi>\n <\/mml:mrow>\n t, u<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n ; for example, when\n \n \n \n \n p<\/mml:mi>\n =<\/mml:mo>\n 40<\/mml:mn>\n \n 094<\/mml:mn>\n \n 470<\/mml:mn>\n \n 441<\/mml:mn>\n <\/mml:mrow>\n p = 40\\,094\\,470\\,441<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n , then both\n \n \n \n t<\/mml:mi>\n t<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n and\n \n \n \n u<\/mml:mi>\n u<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n exceed\n \n \n \n \n 10<\/mml:mn>\n \n 330<\/mml:mn>\n \n 000<\/mml:mn>\n <\/mml:mrow>\n <\/mml:msup>\n 10^{330\\,000}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n . In 1988 the AAC conjecture was verified by computer for all\n \n \n \n \n p<\/mml:mi>\n ><\/mml:mo>\n \n 10<\/mml:mn>\n \n 9<\/mml:mn>\n <\/mml:mrow>\n <\/mml:msup>\n <\/mml:mrow>\n p > 10^{9}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n . In this paper we describe a new technique for testing the AAC conjecture and we provide some results of a computer run of the method for all primes\n \n \n \n p<\/mml:mi>\n p<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n up to\n \n \n \n \n 10<\/mml:mn>\n \n 11<\/mml:mn>\n <\/mml:mrow>\n <\/mml:msup>\n 10^{11}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n .\n <\/p>","DOI":"10.1090\/s0025-5718-00-01234-5","type":"journal-article","created":{"date-parts":[[2002,11,6]],"date-time":"2002-11-06T14:02:22Z","timestamp":1036591342000},"page":"1311-1328","source":"Crossref","is-referenced-by-count":17,"title":["Computer verification of the Ankeny\u2013Artin\u2013Chowla Conjecture for all primes less than 100000000000"],"prefix":"10.1090","volume":"70","author":[{"given":"A.","family":"van der Poorten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"te Riele","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Williams","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"14","published-online":{"date-parts":[[2000,3,15]]},"reference":[{"key":"1","first-page":"623","article-title":"Annihilator ideals and representation iteration for abstract rings","volume":"5","author":"Everett, C. J., Jr.","year":"1939","journal-title":"Duke Math. J.","ISSN":"https:\/\/id.crossref.org\/issn\/0012-7094","issn-type":"print"},{"key":"2","first-page":"285","article-title":"Sur les inverses des \u00e9l\u00e9ments d\u00e9rivables dans un anneau abstrait","volume":"209","author":"Hebroni, P.","year":"1939","journal-title":"C. R. Acad. Sci. Paris","ISSN":"https:\/\/id.crossref.org\/issn\/0001-4036","issn-type":"print"},{"key":"3","doi-asserted-by":"publisher","first-page":"145","DOI":"10.4064\/aa-6-2-145-147","article-title":"A note on the class number of real quadratic fields","volume":"6","author":"Ankeny, N. C.","year":"1960","journal-title":"Acta Arith.","ISSN":"https:\/\/id.crossref.org\/issn\/0065-1036","issn-type":"print"},{"key":"4","doi-asserted-by":"publisher","first-page":"271","DOI":"10.4064\/aa-7-3-271-272","article-title":"A further note on the class number of real quadratic fields","volume":"7","author":"Ankeny, N. C.","year":"1961","journal-title":"Acta Arith.","ISSN":"https:\/\/id.crossref.org\/issn\/0065-1036","issn-type":"print"},{"key":"5","isbn-type":"print","first-page":"13","article-title":"Improved approximations for Euler products","author":"Bach, Eric","year":"1995","ISBN":"https:\/\/id.crossref.org\/isbn\/0821803123"},{"key":"6","first-page":"609","article-title":"Some computer results on units in quadratic and cubic fields","author":"Beach, B. D.","year":"1971"},{"key":"7","doi-asserted-by":"publisher","first-page":"82","DOI":"10.2307\/1989993","article-title":"Maximal orders in rational cyclic algebras of composite degree","volume":"46","author":"Perlis, Sam","year":"1939","journal-title":"Trans. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9947","issn-type":"print"},{"issue":"217","key":"8","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1090\/S0025-5718-97-00791-6","article-title":"A search for Wieferich and Wilson primes","volume":"66","author":"Crandall, Richard","year":"1997","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"9","doi-asserted-by":"crossref","unstructured":"S. Fillebrown, Faster computation of Bernoulli numbers, J. of Algorithms 13(1992), 431\u2013445.","DOI":"10.1016\/0196-6774(92)90048-H"},{"issue":"3","key":"10","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1016\/0196-6774(92)90048-H","article-title":"Faster computation of Bernoulli numbers","volume":"13","author":"Fillebrown, Sandra","year":"1992","journal-title":"J. Algorithms","ISSN":"https:\/\/id.crossref.org\/issn\/0196-6774","issn-type":"print"},{"issue":"1","key":"11","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF01933594","article-title":"Multiplication modulo \ud835\udc5b","volume":"20","author":"Head, A. K.","year":"1980","journal-title":"BIT","ISSN":"https:\/\/id.crossref.org\/issn\/0006-3835","issn-type":"print"},{"key":"12","doi-asserted-by":"publisher","first-page":"783","DOI":"10.2307\/2371336","article-title":"Ring homomorphisms which are also lattice homomorphisms","volume":"61","author":"Ward, Morgan","year":"1939","journal-title":"Amer. J. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9327","issn-type":"print"},{"key":"13","isbn-type":"print","first-page":"123","article-title":"On the calculation of regulators and class numbers of quadratic fields","author":"Lenstra, H. W., Jr.","year":"1982","ISBN":"https:\/\/id.crossref.org\/isbn\/0521285135"},{"key":"14","series-title":"CRC Press Series on Discrete Mathematics and its Applications","isbn-type":"print","volume-title":"Quadratics","author":"Mollin, Richard A.","year":"1996","ISBN":"https:\/\/id.crossref.org\/isbn\/0849339839"},{"key":"15","doi-asserted-by":"publisher","first-page":"137","DOI":"10.4064\/aa-6-2-137-144","article-title":"On a pellian equation conjecture","volume":"6","author":"Mordell, L. J.","year":"1960","journal-title":"Acta Arith.","ISSN":"https:\/\/id.crossref.org\/issn\/0065-1036","issn-type":"print"},{"key":"16","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1112\/jlms\/s1-36.1.282","article-title":"On a Pellian equation conjecture. II","volume":"36","author":"Mordell, L. J.","year":"1961","journal-title":"J. London Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0024-6107","issn-type":"print"},{"key":"17","doi-asserted-by":"publisher","first-page":"712","DOI":"10.2307\/1968951","article-title":"Rings with minimal condition for left ideals","volume":"40","author":"Hopkins, Charles","year":"1939","journal-title":"Ann. of Math. (2)","ISSN":"https:\/\/id.crossref.org\/issn\/0003-486X","issn-type":"print"},{"key":"18","first-page":"217","article-title":"The infrastructure of a real quadratic field and its applications","author":"Shanks, Daniel","year":"1972"},{"key":"19","doi-asserted-by":"crossref","unstructured":"I. S. Slavutskii, Upper bounds and numerical calculation of the number of ideal classes of real quadratic fields, Amer. Math. Soc. Transl. (2) 82 (1969), 67\u201371.","DOI":"10.1090\/trans2\/082\/04"},{"key":"20","unstructured":"R. Soleng, A computer investigation of units in quadratic number fields, Unpublished ms., 1986."},{"issue":"182","key":"21","doi-asserted-by":"publisher","first-page":"619","DOI":"10.2307\/2008629","article-title":"Some computational results on a problem concerning powerful numbers","volume":"50","author":"Stephens, A. J.","year":"1988","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"177","key":"22","doi-asserted-by":"publisher","first-page":"405","DOI":"10.2307\/2007899","article-title":"On the parallel generation of the residues for the continued fraction factoring algorithm","volume":"48","author":"Williams, H. C.","year":"1987","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.ams.org\/mcom\/2001-70-235\/S0025-5718-00-01234-5\/S0025-5718-00-01234-5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/www.ams.org\/mcom\/2001-70-235\/S0025-5718-00-01234-5\/S0025-5718-00-01234-5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T22:42:19Z","timestamp":1776724939000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2001-70-235\/S0025-5718-00-01234-5\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,3,15]]},"references-count":22,"journal-issue":{"issue":"235","published-print":{"date-parts":[[2001,7]]}},"alternative-id":["S0025-5718-00-01234-5"],"URL":"https:\/\/doi.org\/10.1090\/s0025-5718-00-01234-5","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":[[2000,3,15]]}}}