{"id":"https://openalex.org/W2157763597","doi":"https://doi.org/10.4230/lipics.itp.2025.35","title":"An efficient algorithm for the computation of Bernoulli numbers","display_name":"An efficient algorithm for the computation of Bernoulli numbers","publication_year":2007,"publication_date":"2007-02-11","ids":{"openalex":"https://openalex.org/W2157763597","doi":"https://doi.org/10.4230/lipics.itp.2025.35","mag":"2157763597"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:math/0702300","is_oa":true,"landing_page_url":"http://arxiv.org/abs/math/0702300","pdf_url":"https://arxiv.org/pdf/math/0702300","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/math/0702300","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Eberl, Manuel","orcid":"https://orcid.org/0000-0002-4263-6571"},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]},{"id":"https://openalex.org/I190249584","display_name":"Universit\u00e4t Innsbruck","ror":"https://ror.org/054pv6659","country_code":"AT","type":"education","lineage":["https://openalex.org/I190249584"]}],"countries":["AT","CA"],"is_corresponding":true,"raw_author_name":"Eberl, Manuel","raw_affiliation_strings":["University of Innsbruck, Austria","[Simon Fraser University]"],"raw_orcid":"https://orcid.org/0000-0002-4263-6571","affiliations":[{"raw_affiliation_string":"University of Innsbruck, Austria","institution_ids":["https://openalex.org/I190249584"]},{"raw_affiliation_string":"[Simon Fraser University]","institution_ids":["https://openalex.org/I18014758"]}]},{"author_position":"last","author":{"id":null,"display_name":"Lammich, Peter","orcid":"https://orcid.org/0000-0003-3576-0504"},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["CA","NL"],"is_corresponding":false,"raw_author_name":"Lammich, Peter","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands","[Simon Fraser University]"],"raw_orcid":"https://orcid.org/0000-0003-3576-0504","affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"[Simon Fraser University]","institution_ids":["https://openalex.org/I18014758"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I18014758","https://openalex.org/I190249584"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18761253,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11428","display_name":"Advanced Mathematical Identities","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.9923999905586243,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/bernoulli-number","display_name":"Bernoulli number","score":0.7370749711990356},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6608791351318359},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6129155158996582},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.605306088924408},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5424731969833374},{"id":"https://openalex.org/keywords/decimal","display_name":"Decimal","score":0.5098916292190552},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4979429244995117},{"id":"https://openalex.org/keywords/bernoullis-principle","display_name":"Bernoulli's principle","score":0.4942517578601837},{"id":"https://openalex.org/keywords/eulers-formula","display_name":"Euler's formula","score":0.4853038191795349},{"id":"https://openalex.org/keywords/euler-number","display_name":"Euler number (physics)","score":0.4573395550251007},{"id":"https://openalex.org/keywords/generating-function","display_name":"Generating function","score":0.44979265332221985},{"id":"https://openalex.org/keywords/prime","display_name":"Prime (order theory)","score":0.42589855194091797},{"id":"https://openalex.org/keywords/asymptotic-formula","display_name":"Asymptotic formula","score":0.41907602548599243},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4113253951072693},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3485082983970642},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3323647975921631},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.17795330286026},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.09935984015464783},{"id":"https://openalex.org/keywords/backward-euler-method","display_name":"Backward Euler method","score":0.09716722369194031},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.06358358263969421}],"concepts":[{"id":"https://openalex.org/C129960964","wikidata":"https://www.wikidata.org/wiki/Q694114","display_name":"Bernoulli number","level":2,"score":0.7370749711990356},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6608791351318359},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6129155158996582},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.605306088924408},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5424731969833374},{"id":"https://openalex.org/C65045869","wikidata":"https://www.wikidata.org/wiki/Q81365","display_name":"Decimal","level":2,"score":0.5098916292190552},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4979429244995117},{"id":"https://openalex.org/C152361515","wikidata":"https://www.wikidata.org/wiki/Q181328","display_name":"Bernoulli's principle","level":2,"score":0.4942517578601837},{"id":"https://openalex.org/C62884695","wikidata":"https://www.wikidata.org/wiki/Q184871","display_name":"Euler's formula","level":2,"score":0.4853038191795349},{"id":"https://openalex.org/C196102512","wikidata":"https://www.wikidata.org/wiki/Q1340031","display_name":"Euler number (physics)","level":5,"score":0.4573395550251007},{"id":"https://openalex.org/C204911207","wikidata":"https://www.wikidata.org/wiki/Q860609","display_name":"Generating function","level":2,"score":0.44979265332221985},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.42589855194091797},{"id":"https://openalex.org/C24209939","wikidata":"https://www.wikidata.org/wiki/Q752718","display_name":"Asymptotic formula","level":2,"score":0.41907602548599243},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4113253951072693},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3485082983970642},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3323647975921631},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.17795330286026},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.09935984015464783},{"id":"https://openalex.org/C768646","wikidata":"https://www.wikidata.org/wiki/Q2736820","display_name":"Backward Euler method","level":3,"score":0.09716722369194031},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.06358358263969421},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C73000952","wikidata":"https://www.wikidata.org/wiki/Q17007827","display_name":"Discretization","level":2,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C93082080","wikidata":"https://www.wikidata.org/wiki/Q5475314","display_name":"Semi-implicit Euler method","level":4,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:math/0702300","is_oa":true,"landing_page_url":"http://arxiv.org/abs/math/0702300","pdf_url":"https://arxiv.org/pdf/math/0702300","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.math/0702300","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.math/0702300","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.4230/lipics.itp.2025.35","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.itp.2025.35","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"pmh:oai:arXiv.org:math/0702300","is_oa":true,"landing_page_url":"http://arxiv.org/abs/math/0702300","pdf_url":"https://arxiv.org/pdf/math/0702300","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1563654733","https://openalex.org/W1651591591","https://openalex.org/W2062984219","https://openalex.org/W2076597612","https://openalex.org/W2126209209","https://openalex.org/W2752853835","https://openalex.org/W2915126025","https://openalex.org/W3175367423"],"related_works":["https://openalex.org/W3209551743","https://openalex.org/W1553960116","https://openalex.org/W2364780430","https://openalex.org/W2364484184","https://openalex.org/W2979470076","https://openalex.org/W4252031426","https://openalex.org/W2348322046","https://openalex.org/W1556822927","https://openalex.org/W4297693204","https://openalex.org/W2337880125"],"abstract_inverted_index":{"The":[0,169],"Bernoulli":[1],"numbers":[2,9],"B_k":[3,41,77],"are":[4],"a":[5,79,125],"sequence":[6],"of":[7,76,91,99,121,130,149,171],"rational":[8,80],"that":[10,95],"is":[11,94,102,176],"ubiquitous":[12],"in":[13,44,60,82,143],"mathematics,":[14],"but":[15],"difficult":[16],"to":[17,21,159],"compute":[18],"efficiently":[19],"(compared":[20],"e.g.":[22],"approximating":[23],"\u03c0).":[24],"In":[25],"2008,":[26],"Harvey":[27],"gave":[28],"the":[29,65,68,74,96,100,115,138,150,172],"currently":[30],"fastest":[31],"known":[32],"practical":[33],"way":[34],"for":[35,54],"computing":[36],"them:":[37],"his":[38],"algorithm":[39,101,112,151],"computes":[40],"mod":[42],"p":[43,59],"time":[45],"O(p":[46],"log^{1":[47],"+":[48,85],"o(1)}":[49,86],"p).":[50],"By":[51],"doing":[52],"this":[53,92,131,155],"O(k)":[55],"many":[56,166],"small":[57],"primes":[58],"parallel":[61],"and":[62,105,153,182],"then":[63],"combining":[64],"results":[66],"with":[67,118,178],"Chinese":[69],"Remainder":[70],"Theorem,":[71],"one":[72],"recovers":[73],"value":[75],"as":[78],"number":[81],"O(k\u00b2":[83],"log^{2":[84],"k)":[87],"time.":[88],"One":[89],"advantage":[90],"approach":[93],"expensive":[97],"part":[98],"highly":[103],"parallelisable":[104],"has":[106],"very":[107],"low":[108],"memory":[109],"requirements.":[110],"This":[111,133],"still":[113],"holds":[114],"world":[116],"record":[117],"its":[119],"computation":[120],"B_{10\u2078}.":[122],"We":[123],"give":[124],"verified":[126],"efficient":[127],"LLVM":[128,160,174],"implementation":[129],"algorithm.":[132],"was":[134],"achieved":[135],"by":[136],"formalising":[137],"necessary":[139],"mathematical":[140],"background":[141],"theory":[142],"Isabelle/HOL,":[144],"proving":[145],"an":[146],"abstract":[147,156],"version":[148,157],"correct,":[152],"refining":[154],"down":[158],"using":[161],"Lammich\u2019s":[162],"Isabelle-LLVM":[163],"framework,":[164],"including":[165],"low-level":[167],"optimisations.":[168],"performance":[170],"resulting":[173],"code":[175],"comparable":[177],"Harvey\u2019s":[179],"original":[180],"unverified":[181],"hand-optimised":[183],"C++":[184],"implementation.":[185]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2016-06-24T00:00:00"}