{"id":"https://openalex.org/W7104508143","doi":"https://doi.org/10.1145/3747199.3747554","title":"Completing Parametric Unimodular Rows to Unimodular Matrices","display_name":"Completing Parametric Unimodular Rows to Unimodular Matrices","publication_year":2025,"publication_date":"2025-07-28","ids":{"openalex":"https://openalex.org/W7104508143","doi":"https://doi.org/10.1145/3747199.3747554"},"language":null,"primary_location":{"id":"doi:10.1145/3747199.3747554","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747199.3747554","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3747199.3747554","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Ligeng Fan","orcid":"https://orcid.org/0009-0006-2677-2465"},"institutions":[{"id":"https://openalex.org/I4210120485","display_name":"Academy of Mathematics and Systems Science","ror":"https://ror.org/02jkmyk67","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210120485"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Ligeng Fan","raw_affiliation_strings":["State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China and School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0006-2677-2465","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China and School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210120485"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Dingkang Wang","orcid":"https://orcid.org/0000-0002-5844-1277"},"institutions":[{"id":"https://openalex.org/I4210120485","display_name":"Academy of Mathematics and Systems Science","ror":"https://ror.org/02jkmyk67","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210120485"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dingkang Wang","raw_affiliation_strings":["State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China and School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-5844-1277","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China and School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210120485"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Fanghui Xiao","orcid":"https://orcid.org/0000-0001-7833-3727"},"institutions":[{"id":"https://openalex.org/I173759888","display_name":"Hunan Normal University","ror":"https://ror.org/053w1zy07","country_code":"CN","type":"education","lineage":["https://openalex.org/I173759888"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fanghui Xiao","raw_affiliation_strings":["MOE-LCSM, School of Mathematics and Statistics, Hunan Normal University, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0001-7833-3727","affiliations":[{"raw_affiliation_string":"MOE-LCSM, School of Mathematics and Statistics, Hunan Normal University, Changsha, China","institution_ids":["https://openalex.org/I173759888"]}]},{"author_position":"last","author":{"id":null,"display_name":"Xiaopeng Zheng","orcid":"https://orcid.org/0000-0002-5484-7552"},"institutions":[{"id":"https://openalex.org/I32574673","display_name":"Shantou University","ror":"https://ror.org/01a099706","country_code":"CN","type":"education","lineage":["https://openalex.org/I32574673"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaopeng Zheng","raw_affiliation_strings":["College of Mathematics and Computer Science, Shantou University, Shantou, China"],"raw_orcid":"https://orcid.org/0000-0002-5484-7552","affiliations":[{"raw_affiliation_string":"College of Mathematics and Computer Science, Shantou University, Shantou, China","institution_ids":["https://openalex.org/I32574673"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210120485"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.58704908,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"123","last_page":"131"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.6581000089645386,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.6581000089645386,"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/T12069","display_name":"Commutative Algebra and Its Applications","score":0.11990000307559967,"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/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.04430000111460686,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"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/unimodular-matrix","display_name":"Unimodular matrix","score":0.9787999987602234},{"id":"https://openalex.org/keywords/matrix-polynomial","display_name":"Matrix polynomial","score":0.47600001096725464},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4562999904155731},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.4325000047683716},{"id":"https://openalex.org/keywords/polynomial-ring","display_name":"Polynomial ring","score":0.38179999589920044},{"id":"https://openalex.org/keywords/vandermonde-matrix","display_name":"Vandermonde matrix","score":0.37380000948905945},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.36890000104904175},{"id":"https://openalex.org/keywords/vector-space","display_name":"Vector space","score":0.3472000062465668}],"concepts":[{"id":"https://openalex.org/C201958917","wikidata":"https://www.wikidata.org/wiki/Q1367055","display_name":"Unimodular matrix","level":2,"score":0.9787999987602234},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7656999826431274},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.48069998621940613},{"id":"https://openalex.org/C101044782","wikidata":"https://www.wikidata.org/wiki/Q6787887","display_name":"Matrix polynomial","level":3,"score":0.47600001096725464},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4562999904155731},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44830000400543213},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.4325000047683716},{"id":"https://openalex.org/C9485509","wikidata":"https://www.wikidata.org/wiki/Q1455652","display_name":"Polynomial ring","level":3,"score":0.38179999589920044},{"id":"https://openalex.org/C55294529","wikidata":"https://www.wikidata.org/wiki/Q579544","display_name":"Vandermonde matrix","level":3,"score":0.37380000948905945},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.36890000104904175},{"id":"https://openalex.org/C13336665","wikidata":"https://www.wikidata.org/wiki/Q125977","display_name":"Vector space","level":2,"score":0.3472000062465668},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.3246999979019165},{"id":"https://openalex.org/C42321380","wikidata":"https://www.wikidata.org/wiki/Q849705","display_name":"Characteristic polynomial","level":3,"score":0.31369999051094055},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.30230000615119934},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29030001163482666},{"id":"https://openalex.org/C126352355","wikidata":"https://www.wikidata.org/wiki/Q2562273","display_name":"Polynomial matrix","level":4,"score":0.2890999913215637},{"id":"https://openalex.org/C104140500","wikidata":"https://www.wikidata.org/wiki/Q2088159","display_name":"Row and column spaces","level":3,"score":0.27559998631477356},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.2705000042915344},{"id":"https://openalex.org/C2780378348","wikidata":"https://www.wikidata.org/wiki/Q25351438","display_name":"Ring (chemistry)","level":2,"score":0.265500009059906},{"id":"https://openalex.org/C141495983","wikidata":"https://www.wikidata.org/wiki/Q814361","display_name":"Companion matrix","level":5,"score":0.2621000111103058}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3747199.3747554","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747199.3747554","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3747199.3747554","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747199.3747554","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2291242749","display_name":null,"funder_award_id":"12171469 and 12201210","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W22319829","https://openalex.org/W1516998020","https://openalex.org/W1981482848","https://openalex.org/W1990119084","https://openalex.org/W1998033277","https://openalex.org/W2014926578","https://openalex.org/W2027044504","https://openalex.org/W2028590532","https://openalex.org/W2045154989","https://openalex.org/W2057105460","https://openalex.org/W2095764258","https://openalex.org/W2103185909","https://openalex.org/W2104693850","https://openalex.org/W2113205422","https://openalex.org/W2121361091","https://openalex.org/W2157458292","https://openalex.org/W2277540571","https://openalex.org/W2499925185","https://openalex.org/W2808749144","https://openalex.org/W2808846210","https://openalex.org/W2980922731","https://openalex.org/W3045647318","https://openalex.org/W4241143629","https://openalex.org/W4243098353"],"related_works":[],"abstract_inverted_index":{"Serre\u2019s":[0],"conjecture,":[1],"stating":[2],"that":[3],"every":[4],"finitely":[5],"generated":[6],"projective":[7],"module":[8],"over":[9,35],"a":[10,36,43,98,103,123],"polynomial":[11,37,71,149],"ring":[12,38],"is":[13,88,133,166],"free,":[14],"was":[15],"proven":[16],"by":[17],"Quillen":[18],"and":[19,58,155,163],"Suslin":[20],"independently":[21],"in":[22,126],"1976.":[23],"An":[24],"equivalent":[25],"form":[26],"of":[27,106,157],"the":[28,51,55,64,79,82,86,91,107,115,127,131,142,158,171],"Quillen-Suslin":[29,52],"theorem":[30,53],"says,":[31],"\u201cEvery":[32],"unimodular":[33,44,65,89,124,143],"row":[34],"can":[39,119],"be":[40,120],"completed":[41,121],"to":[42,54,62,101,140,168],"matrix.\u201d":[45],"In":[46],"this":[47],"paper,":[48],"we":[49,76,96,135],"generalize":[50],"parametric":[56],"case":[57],"present":[59,136],"an":[60,137,164],"algorithm":[61,139,159,172],"construct":[63,141],"completion":[66,144],"matrix":[67,125,145],"system":[68,146],"for":[69,112,147],"any":[70,148],"vector":[72,87,116,150],"with":[73,151],"parameters.":[74,152],"Specifically,":[75],"first":[77],"determine":[78],"conditions":[80],"on":[81],"parameters":[83],"under":[84,117],"which":[85],"using":[90],"comprehensive":[92],"Gr\u00f6bner":[93],"system.":[94],"Furthermore,":[95],"use":[97],"constructive":[99],"method":[100,132],"find":[102],"finite":[104],"partition":[105],"parameter":[108],"space":[109],"such":[110],"that,":[111],"each":[113],"branch,":[114],"specializations":[118],"into":[122],"same":[128],"form.":[129],"Since":[130],"constructive,":[134],"explicit":[138],"The":[153],"correctness":[154],"termination":[156],"have":[160],"been":[161],"proven,":[162],"example":[165],"provided":[167],"demonstrate":[169],"how":[170],"works.":[173]},"counts_by_year":[],"updated_date":"2025-11-10T23:18:03.357015","created_date":"2025-11-10T00:00:00"}