{"id":"https://openalex.org/W1990157214","doi":"https://doi.org/10.1137/0209004","title":"On the Complexity of Composition and Generalized Composition of Power Series","display_name":"On the Complexity of Composition and Generalized Composition of Power Series","publication_year":1980,"publication_date":"1980-02-01","ids":{"openalex":"https://openalex.org/W1990157214","doi":"https://doi.org/10.1137/0209004","mag":"1990157214"},"language":"en","primary_location":{"id":"doi:10.1137/0209004","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0209004","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.7916/d8g167tn","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078366249","display_name":"Richard P. Brent","orcid":"https://orcid.org/0000-0002-8495-7437"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"R. P. Brent","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5108429495","display_name":"J. F. Traub","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"J. F. Traub","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5078366249"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.9048,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.91142269,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"9","issue":"1","first_page":"54","last_page":"66"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9890999794006348,"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.9890999794006348,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9884999990463257,"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.9824000000953674,"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/composition","display_name":"Composition (language)","score":0.8032705783843994},{"id":"https://openalex.org/keywords/logarithm","display_name":"Logarithm","score":0.6910864114761353},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6664888858795166},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6091620326042175},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5416834950447083},{"id":"https://openalex.org/keywords/power-series","display_name":"Power series","score":0.5299744606018066},{"id":"https://openalex.org/keywords/series","display_name":"Series (stratigraphy)","score":0.5241061449050903},{"id":"https://openalex.org/keywords/formal-power-series","display_name":"Formal power series","score":0.5225674510002136},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.5039610266685486},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4500678479671478},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4321916401386261},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2908528447151184},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.11998087167739868},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.09869927167892456}],"concepts":[{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.8032705783843994},{"id":"https://openalex.org/C39927690","wikidata":"https://www.wikidata.org/wiki/Q11197","display_name":"Logarithm","level":2,"score":0.6910864114761353},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6664888858795166},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6091620326042175},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5416834950447083},{"id":"https://openalex.org/C73905626","wikidata":"https://www.wikidata.org/wiki/Q206925","display_name":"Power series","level":2,"score":0.5299744606018066},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.5241061449050903},{"id":"https://openalex.org/C151746172","wikidata":"https://www.wikidata.org/wiki/Q1003025","display_name":"Formal power series","level":3,"score":0.5225674510002136},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.5039610266685486},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4500678479671478},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4321916401386261},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2908528447151184},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.11998087167739868},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.09869927167892456},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1137/0209004","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0209004","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},{"id":"pmh:ADA058743","is_oa":false,"landing_page_url":"http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA058743","pdf_url":null,"source":{"id":"https://openalex.org/S4406923043","display_name":"Defense Technical Information Center (DTIC)","issn_l":null,"issn":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"DTIC AND NTIS","raw_type":"Text"},{"id":"pmh:oai:academiccommons.columbia.edu:10.7916/D8G167TN","is_oa":false,"landing_page_url":"https://doi.org/10.7916/D8G167TN","pdf_url":null,"source":{"id":"https://openalex.org/S4306402601","display_name":"Columbia Academic Commons (Columbia University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I78577930","host_organization_name":"Columbia University","host_organization_lineage":["https://openalex.org/I78577930"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Reports"},{"id":"doi:10.7916/d8g167tn","is_oa":true,"landing_page_url":"https://doi.org/10.7916/d8g167tn","pdf_url":null,"source":{"id":"https://openalex.org/S4306402601","display_name":"Columbia Academic Commons (Columbia University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I78577930","host_organization_name":"Columbia University","host_organization_lineage":["https://openalex.org/I78577930"],"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-journal"}],"best_oa_location":{"id":"doi:10.7916/d8g167tn","is_oa":true,"landing_page_url":"https://doi.org/10.7916/d8g167tn","pdf_url":null,"source":{"id":"https://openalex.org/S4306402601","display_name":"Columbia Academic Commons (Columbia University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I78577930","host_organization_name":"Columbia University","host_organization_lineage":["https://openalex.org/I78577930"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W147499212","https://openalex.org/W193706516","https://openalex.org/W348182941","https://openalex.org/W1529279789","https://openalex.org/W1551631489","https://openalex.org/W1649115910","https://openalex.org/W1970638816","https://openalex.org/W2003699415","https://openalex.org/W2042003486","https://openalex.org/W2110836275","https://openalex.org/W2122427367","https://openalex.org/W2165928982","https://openalex.org/W2168527104","https://openalex.org/W2242479605","https://openalex.org/W2808650095","https://openalex.org/W2964183068","https://openalex.org/W3021014091","https://openalex.org/W4249963163","https://openalex.org/W4297962570"],"related_works":["https://openalex.org/W3100954504","https://openalex.org/W3022449129","https://openalex.org/W4386731851","https://openalex.org/W1519862060","https://openalex.org/W1507613483","https://openalex.org/W125268981","https://openalex.org/W2606781077","https://openalex.org/W1588317520","https://openalex.org/W4300174355","https://openalex.org/W2020238882"],"abstract_inverted_index":{"Let":[0,21],"$F(x)":[1],"=":[2,24,29,37],"f_1":[3],"x":[4],"+":[5,8],"f_2":[6],"x^2":[7],"\\cdots":[9,31],"$":[10,20,32,97],"be":[11,85,118,138],"a":[12,17,73,99],"formal":[13],"power":[14],"series":[15],"over":[16],"field":[18],"$\\Delta":[19],"$F^{[0]}":[22],"(x)":[23,36],"x$":[25],"and":[26,106,147],"for":[27,45,120,140,150],"$q":[28],"1,2,":[30],",":[33],"define":[34],"$F^{[q]}":[35,52,131,157],"F^{[q":[38],"-":[39],"1]}":[40],"(F(x))$.":[41],"The":[42],"obvious":[43],"algorithm":[44,63],"computing":[46,151],"the":[47,56,79,88,91,104,111,121,125,152,165],"first":[48,92,153],"n":[49,93,154],"terms":[50,94,155],"of":[51,59,72,90,95,101,127,156],"(x)$":[53,132,158],"is":[54,129,161],"by":[55,98],"composition":[57,122,128],"analogue":[58],"repeated":[60],"squaring.":[61],"This":[62],"has":[64],"complexity":[65,126,148],"about":[66],"$\\log":[67,81,113],"_2":[68,82,114],"q$":[69,83,115],"times":[70],"that":[71,78],"single":[74],"composition.":[75],"Brent":[76],"showed":[77],"factor":[80,112],"can":[84,116,133],"eliminated":[86,119],"in":[87],"computation":[89],"$(F(x))^q":[96],"change":[100],"representation,":[102],"using":[103],"logarithm":[105],"exponential":[107],"functions.":[108],"We":[109,144,163],"show":[110],"also":[117],"problem,":[123],"unless":[124],"quasi-linear.":[130],"often,":[134],"but":[135],"not":[136],"always,":[137],"defined":[139],"more":[141],"general":[142],"q.":[143],"give":[145],"algorithms":[146],"bounds":[149],"whenever":[159],"it":[160],"defined.":[162],"conclude":[164],"paper":[166],"with":[167],"some":[168],"open":[169],"problems.":[170]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}