{"id":"https://openalex.org/W2808850675","doi":"https://doi.org/10.1145/3208976.3208979","title":"Extending the GVW Algorithm to Local Ring","display_name":"Extending the GVW Algorithm to Local Ring","publication_year":2018,"publication_date":"2018-07-11","ids":{"openalex":"https://openalex.org/W2808850675","doi":"https://doi.org/10.1145/3208976.3208979","mag":"2808850675"},"language":"en","primary_location":{"id":"doi:10.1145/3208976.3208979","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3208976.3208979","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-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/A5086793017","display_name":"Dong Lu","orcid":"https://orcid.org/0000-0002-9919-6378"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Dong Lu","raw_affiliation_strings":["Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101585436","display_name":"Dingkang Wang","orcid":"https://orcid.org/0000-0002-5844-1277"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dingkang Wang","raw_affiliation_strings":["Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045096504","display_name":"Fanghui Xiao","orcid":"https://orcid.org/0000-0001-7833-3727"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fanghui Xiao","raw_affiliation_strings":["Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101978225","display_name":"Jie Zhou","orcid":"https://orcid.org/0000-0003-0750-8870"},"institutions":[{"id":"https://openalex.org/I102345215","display_name":"Xihua University","ror":"https://ror.org/04gwtvf26","country_code":"CN","type":"education","lineage":["https://openalex.org/I102345215"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jie Zhou","raw_affiliation_strings":["Xihua University, Chengdu, China"],"affiliations":[{"raw_affiliation_string":"Xihua University, Chengdu, China","institution_ids":["https://openalex.org/I102345215"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5086793017"],"corresponding_institution_ids":["https://openalex.org/I4210165038"],"apc_list":null,"apc_paid":null,"fwci":0.2019,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.52452755,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"271","last_page":"278"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9994000196456909,"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.9994000196456909,"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/T11752","display_name":"Cancer Treatment and Pharmacology","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/2730","display_name":"Oncology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9914000034332275,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7143689393997192},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6103105545043945},{"id":"https://openalex.org/keywords/polynomial-ring","display_name":"Polynomial ring","score":0.5716883540153503},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5465556979179382},{"id":"https://openalex.org/keywords/ring","display_name":"Ring (chemistry)","score":0.5293983221054077},{"id":"https://openalex.org/keywords/hilberts-syzygy-theorem","display_name":"Hilbert's syzygy theorem","score":0.4980504512786865},{"id":"https://openalex.org/keywords/local-ring","display_name":"Local ring","score":0.4371377229690552},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.41039347648620605},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.40555840730667114},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.40133213996887207},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07205665111541748}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7143689393997192},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6103105545043945},{"id":"https://openalex.org/C9485509","wikidata":"https://www.wikidata.org/wiki/Q1455652","display_name":"Polynomial ring","level":3,"score":0.5716883540153503},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5465556979179382},{"id":"https://openalex.org/C2780378348","wikidata":"https://www.wikidata.org/wiki/Q25351438","display_name":"Ring (chemistry)","level":2,"score":0.5293983221054077},{"id":"https://openalex.org/C55101346","wikidata":"https://www.wikidata.org/wiki/Q85776755","display_name":"Hilbert's syzygy theorem","level":2,"score":0.4980504512786865},{"id":"https://openalex.org/C142109727","wikidata":"https://www.wikidata.org/wiki/Q1142704","display_name":"Local ring","level":3,"score":0.4371377229690552},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.41039347648620605},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.40555840730667114},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.40133213996887207},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07205665111541748},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3208976.3208979","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3208976.3208979","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2525934465","display_name":null,"funder_award_id":"QYZDJ-SSW-SYS022","funder_id":"https://openalex.org/F4320334986","funder_display_name":"Chinese Academy of Sciences Key Project"},{"id":"https://openalex.org/G5002998012","display_name":null,"funder_award_id":"11371356","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"},{"id":"https://openalex.org/F4320334986","display_name":"Chinese Academy of Sciences Key Project","ror":"https://ror.org/034t30j35"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W64656188","https://openalex.org/W1481997196","https://openalex.org/W1483218536","https://openalex.org/W1518341038","https://openalex.org/W1524190946","https://openalex.org/W1563257127","https://openalex.org/W1576188537","https://openalex.org/W1702929093","https://openalex.org/W1979128220","https://openalex.org/W1989653154","https://openalex.org/W1993995116","https://openalex.org/W2008680854","https://openalex.org/W2028317884","https://openalex.org/W2038345254","https://openalex.org/W2054143903","https://openalex.org/W2058865345","https://openalex.org/W2066181227","https://openalex.org/W2077725083","https://openalex.org/W2098942149","https://openalex.org/W2128687423","https://openalex.org/W2475486651","https://openalex.org/W2736522906","https://openalex.org/W2950957630","https://openalex.org/W2951514296","https://openalex.org/W2964031943","https://openalex.org/W3142157026","https://openalex.org/W4292096448","https://openalex.org/W4300166240"],"related_works":["https://openalex.org/W2090932711","https://openalex.org/W583103596","https://openalex.org/W2109792732","https://openalex.org/W4232191322","https://openalex.org/W2594823032","https://openalex.org/W4226293547","https://openalex.org/W2259972220","https://openalex.org/W2077385146","https://openalex.org/W4301024478","https://openalex.org/W3023168094"],"abstract_inverted_index":{"A":[0],"new":[1],"algorithm,":[2,13],"which":[3],"combines":[4],"the":[5,9,18,52,116,132,187,192,203,223],"GVW":[6,53],"algorithm":[7,54,174,193,198],"with":[8],"Mora":[10,171],"normal":[11,172],"form":[12,173],"is":[14,175],"presented":[15],"to":[16,59,164,178],"compute":[17],"standard":[19],"bases":[20],"of":[21,119,121,136,191,214],"ideals":[22],"in":[23,30,43,70,76,150,182,202,222],"a":[24,40,56,60,73,84,91,99,103,128,147],"local":[25,31,61,100],"ring.":[26],"Since":[27],"term":[28],"orders":[29],"ring":[32,58,62,101],"are":[33,79,98,140,194],"not":[34,38,50],"well-orderings,":[35],"there":[36],"may":[37],"be":[39,217],"minimal":[41,92,129],"signature":[42,159],"an":[44,67],"infinite":[45],"set,":[46],"and":[47,72,102,138,153,161,186,189,208],"we":[48,81,145],"can":[49,82,216],"extend":[51],"from":[55],"polynomial":[57,112],"directly.":[63],"Nevertheless,":[64],"when":[65],"given":[66,111],"anti-graded":[68],"order":[69,75],"R":[71,95,104,126,151],"term-over-position":[74],"Rm":[77,97,124,183],"that":[78,88,212],"compatible,":[80],"construct":[83],"special":[85],"set":[86,117],"such":[87],"it":[89],"has":[90,127,199],"signature,":[93],"where":[94,131],",":[96,152],"-module,":[105],"respectively.":[106],"That":[107],"is,":[108],"for":[109],"any":[110,169],"v0":[113,139],"\u0131n":[114],"R,":[115,185],"consisting":[118],"signatures":[120],"pairs":[122],"(u,v)\u0131n":[123],"x":[125,184],"element,":[130],"leading":[133],"power":[134],"products":[135],"v":[137],"equal.":[141],"In":[142],"this":[143],"case,":[144],"prove":[146],"cover":[148],"theorem":[149],"use":[154],"three":[155,220],"criteria":[156,221],"(syzygy":[157],"criterion,":[158],"criterion":[160],"rewrite":[162],"criterion)":[163],"discard":[165],"useless":[166],"J-pairs":[167,215],"without":[168],"reductions.":[170],"also":[176],"extended":[177],"do":[179],"regular":[180],"top-reductions":[181],"correctness":[188],"termination":[190],"proved.":[195],"The":[196],"proposed":[197],"been":[200],"implemented":[201],"computer":[204],"algebra":[205],"system":[206],"Maple,":[207],"experiment":[209],"results":[210],"show":[211],"most":[213],"discarded":[218],"by":[219],"examples.":[224]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}