{"id":"https://openalex.org/W2059314720","doi":"https://doi.org/10.1145/2755996.2756676","title":"An Algorithm to Check Whether a Basis of a Parametric Polynomial System is a Comprehensive Gr\u00f6bner Basis and the Associated Completion Algorithm","display_name":"An Algorithm to Check Whether a Basis of a Parametric Polynomial System is a Comprehensive Gr\u00f6bner Basis and the Associated Completion Algorithm","publication_year":2015,"publication_date":"2015-06-24","ids":{"openalex":"https://openalex.org/W2059314720","doi":"https://doi.org/10.1145/2755996.2756676","mag":"2059314720"},"language":"en","primary_location":{"id":"doi:10.1145/2755996.2756676","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2755996.2756676","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 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/A5003856856","display_name":"Deepak Kapur","orcid":"https://orcid.org/0000-0003-2464-2895"},"institutions":[{"id":"https://openalex.org/I169521973","display_name":"University of New Mexico","ror":"https://ror.org/05fs6jp91","country_code":"US","type":"education","lineage":["https://openalex.org/I169521973"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Deepak Kapur","raw_affiliation_strings":["University of New Mexico, Albuquerque, NM, USA"],"affiliations":[{"raw_affiliation_string":"University of New Mexico, Albuquerque, NM, USA","institution_ids":["https://openalex.org/I169521973"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101421479","display_name":"Yiming Yang","orcid":"https://orcid.org/0000-0002-9755-2711"},"institutions":[{"id":"https://openalex.org/I169521973","display_name":"University of New Mexico","ror":"https://ror.org/05fs6jp91","country_code":"US","type":"education","lineage":["https://openalex.org/I169521973"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yiming Yang","raw_affiliation_strings":["University of New Mexico, Albuquerque, NM, USA"],"affiliations":[{"raw_affiliation_string":"University of New Mexico, Albuquerque, NM, USA","institution_ids":["https://openalex.org/I169521973"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5003856856"],"corresponding_institution_ids":["https://openalex.org/I169521973"],"apc_list":null,"apc_paid":null,"fwci":0.3505,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.64215105,"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":"243","last_page":"250"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9995999932289124,"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.9995999932289124,"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/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.9927999973297119,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/algorithm","display_name":"Algorithm","score":0.8464386463165283},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.7783615589141846},{"id":"https://openalex.org/keywords/gr\u00f6bner-basis","display_name":"Gr\u00f6bner basis","score":0.6196510791778564},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5557281374931335},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.5336364507675171},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34525638818740845},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.05890974402427673},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.05230405926704407}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.8464386463165283},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.7783615589141846},{"id":"https://openalex.org/C198082693","wikidata":"https://www.wikidata.org/wiki/Q1551631","display_name":"Gr\u00f6bner basis","level":3,"score":0.6196510791778564},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5557281374931335},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.5336364507675171},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34525638818740845},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.05890974402427673},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.05230405926704407},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2755996.2756676","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2755996.2756676","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2951761946","display_name":null,"funder_award_id":"DMS-1217054","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W22319829","https://openalex.org/W1481997196","https://openalex.org/W1518341038","https://openalex.org/W1990119084","https://openalex.org/W2045154989","https://openalex.org/W2048154069","https://openalex.org/W2057105460","https://openalex.org/W2077140256","https://openalex.org/W2095764258","https://openalex.org/W2113205422","https://openalex.org/W2148498573","https://openalex.org/W2163740240","https://openalex.org/W2168553897","https://openalex.org/W2175098281","https://openalex.org/W2319466955","https://openalex.org/W2788195290","https://openalex.org/W3007626758","https://openalex.org/W3086943959","https://openalex.org/W3102191769"],"related_works":["https://openalex.org/W3162124064","https://openalex.org/W2953857700","https://openalex.org/W2949480456","https://openalex.org/W2292400941","https://openalex.org/W2048364901","https://openalex.org/W2004025501","https://openalex.org/W3155872915","https://openalex.org/W2592981277","https://openalex.org/W2187852886","https://openalex.org/W1839124925"],"abstract_inverted_index":{"Given":[0],"a":[1,4,17,26,31,45,54,65,72,76,81,111,118,125,135,147,213],"basis":[2,20,24,34,52,56,66,84,114,128,138,152,217],"of":[3,25,42,50,57,180,199],"parametric":[5,27,209],"polynomial":[6,28,61,158],"ideal,":[7],"an":[8],"algorithm":[9,78,92,133,144,182,203],"is":[10,16,30,53,88,93,97,102,162,204,221],"proposed":[11,132,142,202],"to":[12,70,106,172],"test":[13],"whether":[14],"it":[15,86,220],"comprehensive":[18,32,73,82,112,119,126,136,150,174,215,225],"Gr\u00f6bner":[19,33,55,74,83,113,120,127,137,151,175,216,226],"or":[21],"not.":[22],"A":[23,177],"ideal":[29,165],"if":[35,38],"and":[36,99,122,195],"only":[37],"for":[39,79,109,211],"every":[40,157],"specialization":[41,49],"parameters":[43],"in":[44,153,159,232],"given":[46],"field,":[47],"the":[48,51,58,131,141,154,160,164,173,181,191,201,233],"associated":[59],"specialized":[60],"ideal.":[62],"In":[63,104],"case":[64],"does":[67],"not":[68],"check":[69],"be":[71],"basis,":[75],"completion":[77,143],"generating":[80],"from":[85,129,163,190,223],"that":[87,156,205],"patterned":[89],"after":[90],"Buchberger's":[91],"proposed.":[94],"Its":[95],"termination":[96],"proved":[98],"its":[100],"correctness":[101],"established.":[103],"contrast":[105],"other":[107,230],"algorithms":[108,231],"computing":[110],"which":[115,212],"first":[116],"compute":[117],"system":[121],"then":[123],"extract":[124],"it,":[130],"computes":[134,146],"directly.":[139],"Further,":[140],"always":[145],"minimal":[148,214,224],"faithful":[149],"sense":[155],"result":[161],"as":[166,168],"well":[167],"essential":[169],"with":[170],"respect":[171],"basis.":[176],"prototype":[178],"implementation":[179],"has":[183],"been":[184],"successfully":[185],"tried":[186],"on":[187],"many":[188],"examples":[189],"literature.":[192,234],"An":[193],"interesting":[194],"somewhat":[196],"surprising":[197],"outcome":[198],"using":[200],"there":[206],"are":[207],"example":[208],"ideals":[210],"computed":[218,228],"by":[219,229],"different":[222],"bases":[227]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}