{"id":"https://openalex.org/W2906963319","doi":"https://doi.org/10.1090/s0025-5718-2014-02849-4","title":"A primality test for \ud835\udc3e\ud835\udc5d\u207f+1 numbers","display_name":"A primality test for \ud835\udc3e\ud835\udc5d\u207f+1 numbers","publication_year":2014,"publication_date":"2014-06-10","ids":{"openalex":"https://openalex.org/W2906963319","doi":"https://doi.org/10.1090/s0025-5718-2014-02849-4","mag":"2906963319"},"language":"en","primary_location":{"id":"doi:10.1090/s0025-5718-2014-02849-4","is_oa":true,"landing_page_url":"https://doi.org/10.1090/s0025-5718-2014-02849-4","pdf_url":"https://www.ams.org/mcom/2015-84-291/S0025-5718-2014-02849-4/S0025-5718-2014-02849-4.pdf","source":{"id":"https://openalex.org/S102439543","display_name":"Mathematics of Computation","issn_l":"0025-5718","issn":["0025-5718","1088-6842"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315719","host_organization_name":"American Mathematical Society","host_organization_lineage":["https://openalex.org/P4310315719"],"host_organization_lineage_names":["American Mathematical Society"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics of Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.ams.org/mcom/2015-84-291/S0025-5718-2014-02849-4/S0025-5718-2014-02849-4.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005658480","display_name":"J. M. Grau","orcid":"https://orcid.org/0000-0001-6652-0509"},"institutions":[{"id":"https://openalex.org/I165339363","display_name":"Universidad de Oviedo","ror":"https://ror.org/006gksa02","country_code":"ES","type":"education","lineage":["https://openalex.org/I165339363"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jos\u00e9 Grau","raw_affiliation_strings":["Departamento de Matem\u00e1ticas, Universidad de Oviedo, Avda. Calvo Sotelo, s/n, 33007 Oviedo, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1ticas, Universidad de Oviedo, Avda. Calvo Sotelo, s/n, 33007 Oviedo, Spain","institution_ids":["https://openalex.org/I165339363"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001130113","display_name":"Antonio M. Oller\u2010Marc\u00e9n","orcid":"https://orcid.org/0000-0002-8191-3199"},"institutions":[{"id":"https://openalex.org/I4210100615","display_name":"Centro Universitario de la Defensa en San Javier","ror":"https://ror.org/00nqz4988","country_code":"ES","type":"education","lineage":["https://openalex.org/I4210100615"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Antonio Oller-Marc\u00e9n","raw_affiliation_strings":["Centro Universitario de la Defensa de Zaragoza, Ctra. de Huesca, s/n, 50090 Zaragoza, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro Universitario de la Defensa de Zaragoza, Ctra. de Huesca, s/n, 50090 Zaragoza, Spain","institution_ids":["https://openalex.org/I4210100615"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075689405","display_name":"Daniel Sadornil","orcid":"https://orcid.org/0000-0003-4066-4138"},"institutions":[{"id":"https://openalex.org/I13134134","display_name":"Universidad de Cantabria","ror":"https://ror.org/046ffzj20","country_code":"ES","type":"education","lineage":["https://openalex.org/I13134134"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Daniel Sadornil","raw_affiliation_strings":["Departamento de Matem\u00e1ticas, Estad\u00edstica y Computaci\u00f3n, Universidad de Cantabria, F. Ciencias, Avda de los Castros s/n, 39005 Santander, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1ticas, Estad\u00edstica y Computaci\u00f3n, Universidad de Cantabria, F. Ciencias, Avda de los Castros s/n, 39005 Santander, Spain","institution_ids":["https://openalex.org/I13134134"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4803,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.82317269,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"84","issue":"291","first_page":"505","last_page":"512"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6584621071815491},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3910234570503235},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.36857303977012634},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.330559641122818}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6584621071815491},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3910234570503235},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36857303977012634},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.330559641122818}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1090/s0025-5718-2014-02849-4","is_oa":true,"landing_page_url":"https://doi.org/10.1090/s0025-5718-2014-02849-4","pdf_url":"https://www.ams.org/mcom/2015-84-291/S0025-5718-2014-02849-4/S0025-5718-2014-02849-4.pdf","source":{"id":"https://openalex.org/S102439543","display_name":"Mathematics of Computation","issn_l":"0025-5718","issn":["0025-5718","1088-6842"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315719","host_organization_name":"American Mathematical Society","host_organization_lineage":["https://openalex.org/P4310315719"],"host_organization_lineage_names":["American Mathematical Society"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics of Computation","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1090/s0025-5718-2014-02849-4","is_oa":true,"landing_page_url":"https://doi.org/10.1090/s0025-5718-2014-02849-4","pdf_url":"https://www.ams.org/mcom/2015-84-291/S0025-5718-2014-02849-4/S0025-5718-2014-02849-4.pdf","source":{"id":"https://openalex.org/S102439543","display_name":"Mathematics of Computation","issn_l":"0025-5718","issn":["0025-5718","1088-6842"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315719","host_organization_name":"American Mathematical Society","host_organization_lineage":["https://openalex.org/P4310315719"],"host_organization_lineage_names":["American Mathematical Society"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics of Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2906963319.pdf","grobid_xml":"https://content.openalex.org/works/W2906963319.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W1544845261","https://openalex.org/W1617031287","https://openalex.org/W1630803762","https://openalex.org/W1731104305","https://openalex.org/W1970967275","https://openalex.org/W1983385151","https://openalex.org/W2013791344","https://openalex.org/W2021446977","https://openalex.org/W2039239222","https://openalex.org/W2057131278","https://openalex.org/W2058550050","https://openalex.org/W2083368929","https://openalex.org/W2615741470","https://openalex.org/W2907910466","https://openalex.org/W3098603196","https://openalex.org/W4247937737","https://openalex.org/W4251872739","https://openalex.org/W6738264934"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2042127053","https://openalex.org/W2142036596"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"we":[3,30],"generalize":[4],"the":[5,10,16,34],"classical":[6,35],"Proth\u2019s":[7],"theorem":[8],"and":[9],"Miller-Rabin":[11],"test":[12,43],"for":[13],"integers":[14],"of":[15,77],"form":[17],"N":[18,54,72,73],"=":[19],"K":[20],"p":[21],"n":[22],"+":[23],"1":[24],"N=Kp^n+1":[25],".":[26],"For":[27],"these":[28],"families,":[29],"present":[31],"variations":[32],"on":[33],"Pocklington\u2019s":[36],"results":[37],"and,":[38,60],"in":[39],"particular,":[40],"a":[41],"primality":[42],"whose":[44],"computational":[45],"complexity":[46],"is":[47,62],"O":[48],"~":[49],"(":[50],"log":[51],"2":[52],"\u2061":[53],")":[55],"\\widetilde":[56],"{O}(\\log":[57],"^2":[58],"N)":[59],"what":[61],"more":[63],"important,":[64],"that":[65,76],"requires":[66],"only":[67],"one":[68],"modular":[69],"exponentiation":[70],"modulo":[71],"similar":[74],"to":[75],"Fermat\u2019s":[78],"test.":[79]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}