{"id":"https://openalex.org/W4232114544","doi":"https://doi.org/10.1137/0209039","title":"Vector Iteration in Pointed Iterative Theories","display_name":"Vector Iteration in Pointed Iterative Theories","publication_year":1980,"publication_date":"1980-08-01","ids":{"openalex":"https://openalex.org/W4232114544","doi":"https://doi.org/10.1137/0209039"},"language":"en","primary_location":{"id":"doi:10.1137/0209039","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0209039","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"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050710436","display_name":"Stephen L. Bloom","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Stephen L. Bloom","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012381362","display_name":"Calvin C. Elgot","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Calvin C. Elgot","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5020857322","display_name":"Jesse B. Wright","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jesse B. Wright","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5050710436"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.7322,"has_fulltext":false,"cited_by_count":42,"citation_normalized_percentile":{"value":0.92052382,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"9","issue":"3","first_page":"525","last_page":"540"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9984999895095825,"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"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9984999895095825,"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9961000084877014,"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"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/mathematics","display_name":"Mathematics","score":0.7699072360992432},{"id":"https://openalex.org/keywords/scalar","display_name":"Scalar (mathematics)","score":0.711639940738678},{"id":"https://openalex.org/keywords/invertible-matrix","display_name":"Invertible matrix","score":0.6705025434494019},{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.6513338088989258},{"id":"https://openalex.org/keywords/iterative-method","display_name":"Iterative method","score":0.5781693458557129},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.45218580961227417},{"id":"https://openalex.org/keywords/vector-space","display_name":"Vector space","score":0.415057897567749},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4108216166496277},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.4083516299724579},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.37573957443237305},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.35937270522117615},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.18211451172828674},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.1285465955734253},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.07045826315879822}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7699072360992432},{"id":"https://openalex.org/C57691317","wikidata":"https://www.wikidata.org/wiki/Q1289248","display_name":"Scalar (mathematics)","level":2,"score":0.711639940738678},{"id":"https://openalex.org/C96442724","wikidata":"https://www.wikidata.org/wiki/Q242188","display_name":"Invertible matrix","level":2,"score":0.6705025434494019},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.6513338088989258},{"id":"https://openalex.org/C159694833","wikidata":"https://www.wikidata.org/wiki/Q2321565","display_name":"Iterative method","level":2,"score":0.5781693458557129},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.45218580961227417},{"id":"https://openalex.org/C13336665","wikidata":"https://www.wikidata.org/wiki/Q125977","display_name":"Vector space","level":2,"score":0.415057897567749},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4108216166496277},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.4083516299724579},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.37573957443237305},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.35937270522117615},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18211451172828674},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1285465955734253},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.07045826315879822},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/0209039","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0209039","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1969377914","https://openalex.org/W1979473531","https://openalex.org/W2042508971","https://openalex.org/W2088049948","https://openalex.org/W4210249530","https://openalex.org/W4240176614"],"related_works":["https://openalex.org/W4251428025","https://openalex.org/W4289867043","https://openalex.org/W2952244080","https://openalex.org/W2784467519","https://openalex.org/W1964289638","https://openalex.org/W2326295955","https://openalex.org/W2012195256","https://openalex.org/W2073215366","https://openalex.org/W4381187546","https://openalex.org/W4232341271"],"abstract_inverted_index":{"This":[0],"paper":[1,8,40,89],"is":[2,59,102,140,154,181,193],"a":[3,6,141,194],"sequel":[4],"to":[5,70,104,146],"previous":[7],"(S.":[9],"L.":[10],"Bloom,":[11],"C.":[12,13],"Elgot":[14],"and":[15,24,80],"J.":[16,32],"B.":[17],"Wright,":[18],"Solutions":[19],"of":[20,26,63,158,177,197,200],"the":[21,27,64,90,95,110,118,128,155,159,167,174,184],"iteration":[22,29,66,92,160],"equation":[23,129,161],"extensions":[25],"scalar":[28,65,72,82,91],"operations,":[30],"SIAM":[31],"Comput.,":[33],"9":[34],"(1980),":[35],"pp.":[36],"25\u201345.":[37],"In":[38,87,166],"that":[39,44,75,117,149,169,183],"it":[41,180],"was":[42],"proved":[43],"for":[45,162],"each":[46],"morphism":[47,143],"$":[48,79,122,139,153,188],"\\bot":[49,78,100,125,133,138,151,164,191],":1":[50],"\\to":[51],"0$":[52],"in":[53,68,94,123,189],"an":[54],"iterative":[55,83,97,175],"theory":[56,98,176],"J":[57,69],"there":[58],"exactly":[60],"one":[61],"extension":[62],"operation":[67,93],"all":[71,81,109],"morphisms":[73,106],"such":[74],"$I_1^\\dag":[76],"=":[77,131,171],"identities":[84],"remain":[85],"valid.":[86],"this":[88],"pointed":[96],"$(J,":[99,124,190],")$":[101,126,192],"extended":[103],"vector":[105,119,185],"while":[107],"preserving":[108],"old":[111],"identities.":[112],"The":[113],"main":[114],"result":[115],"shows":[116],"iterate":[120,186],"$g^\\dag":[121,130,187],"satisfies":[127],"(g_":[132],")^\\dag":[134,152],"$,":[135],"where":[136],"$g_":[137,163],"nonsingular":[142],"simply":[144],"related":[145],"g":[147],"(so":[148],"$(g_":[150],"unique":[156],"solution":[157],"$).":[165],"case":[168],"$J":[170],"\\Gamma":[172],"{\\text{Tr}}$,":[173],"$\\Gamma":[178],"$-trees,":[179],"shown":[182],"metric":[195],"limit":[196],"\u201cmodified":[198],"powers\u201d":[199],"g.":[201]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}