{"id":"https://openalex.org/W2040416064","doi":"https://doi.org/10.1145/1394042.1394090","title":"Automatic variable order selection for polynomial system solving (abstract only)","display_name":"Automatic variable order selection for polynomial system solving (abstract only)","publication_year":2008,"publication_date":"2008-07-25","ids":{"openalex":"https://openalex.org/W2040416064","doi":"https://doi.org/10.1145/1394042.1394090","mag":"2040416064"},"language":"en","primary_location":{"id":"doi:10.1145/1394042.1394090","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1394042.1394090","pdf_url":null,"source":{"id":"https://openalex.org/S176185422","display_name":"ACM communications in computer algebra","issn_l":"1932-2232","issn":["1932-2232","1932-2240"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320725","host_organization_name":"SIGSAM","host_organization_lineage":["https://openalex.org/P4310320725"],"host_organization_lineage_names":["SIGSAM"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Communications in Computer Algebra","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/A5047230979","display_name":"John P. May","orcid":"https://orcid.org/0000-0001-8631-311X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John P. May","raw_affiliation_strings":["Maplesoft"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Maplesoft","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057638793","display_name":"Mark Giesbrecht","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mark Giesbrecht","raw_affiliation_strings":["University of Waterloo","(University of Waterloo)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"(University of Waterloo)","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029873080","display_name":"Daniel S. Roche","orcid":"https://orcid.org/0000-0003-1408-6872"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Daniel Roche","raw_affiliation_strings":["University of Waterloo","(University of Waterloo)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"(University of Waterloo)","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081832433","display_name":"Marc Moreno Maza","orcid":"https://orcid.org/0000-0003-3011-0756"},"institutions":[{"id":"https://openalex.org/I125749732","display_name":"Western University","ror":"https://ror.org/02grkyz14","country_code":"CA","type":"education","lineage":["https://openalex.org/I125749732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Marc Moreno Maza","raw_affiliation_strings":["University of Western Ontario"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Western Ontario","institution_ids":["https://openalex.org/I125749732"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100547215","display_name":"Yuzhen Xie","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Yuzhen Xie","raw_affiliation_strings":["University of Waterloo","(University of Waterloo)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"(University of Waterloo)","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.414,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.67254162,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"42","issue":"1-2","first_page":"83","last_page":"83"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9976000189781189,"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.9976000189781189,"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/T10142","display_name":"Formal Methods in Verification","score":0.9955000281333923,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9818000197410583,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.742843508720398},{"id":"https://openalex.org/keywords/weighting","display_name":"Weighting","score":0.6607096195220947},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.6534970998764038},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.5982750654220581},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5844277143478394},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5353249907493591},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5305918455123901},{"id":"https://openalex.org/keywords/variable-elimination","display_name":"Variable elimination","score":0.5239037275314331},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.49724629521369934},{"id":"https://openalex.org/keywords/system-of-polynomial-equations","display_name":"System of polynomial equations","score":0.4483644664287567},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.4472082555294037},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.43598219752311707},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.41574805974960327},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4140499234199524},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40505340695381165},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3604481816291809},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3588176369667053},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.30762404203414917},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.16030582785606384},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09667187929153442},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.06888651847839355}],"concepts":[{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.742843508720398},{"id":"https://openalex.org/C183115368","wikidata":"https://www.wikidata.org/wiki/Q856577","display_name":"Weighting","level":2,"score":0.6607096195220947},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.6534970998764038},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.5982750654220581},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5844277143478394},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5353249907493591},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5305918455123901},{"id":"https://openalex.org/C169272836","wikidata":"https://www.wikidata.org/wiki/Q5668307","display_name":"Variable elimination","level":3,"score":0.5239037275314331},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.49724629521369934},{"id":"https://openalex.org/C105335568","wikidata":"https://www.wikidata.org/wiki/Q7663735","display_name":"System of polynomial equations","level":3,"score":0.4483644664287567},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.4472082555294037},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.43598219752311707},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.41574805974960327},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4140499234199524},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40505340695381165},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3604481816291809},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3588176369667053},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30762404203414917},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.16030582785606384},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09667187929153442},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.06888651847839355},{"id":"https://openalex.org/C126838900","wikidata":"https://www.wikidata.org/wiki/Q77604","display_name":"Radiology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1394042.1394090","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1394042.1394090","pdf_url":null,"source":{"id":"https://openalex.org/S176185422","display_name":"ACM communications in computer algebra","issn_l":"1932-2232","issn":["1932-2232","1932-2240"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320725","host_organization_name":"SIGSAM","host_organization_lineage":["https://openalex.org/P4310320725"],"host_organization_lineage_names":["SIGSAM"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Communications in Computer Algebra","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W174808068","https://openalex.org/W1845544376","https://openalex.org/W2077739522","https://openalex.org/W1999674167","https://openalex.org/W3019427925","https://openalex.org/W2889493128","https://openalex.org/W2030991484","https://openalex.org/W4241368207","https://openalex.org/W198981881","https://openalex.org/W2040416064"],"abstract_inverted_index":{"The":[0],"goal":[1,48],"of":[2,16,19,44,54,89,108],"a":[3,10,17,55,63],"general":[4],"purpose":[5],"solver":[6],"is":[7,49],"to":[8,12,41,50,61,72,77],"allow":[9],"user":[11],"compute":[13,62],"the":[14,42,45,52,69,86,95],"solutions":[15],"system":[18,28,57],"equations":[20],"with":[21],"minimal":[22],"interactions.":[23],"Modern":[24],"tools":[25],"for":[26],"polynomial":[27],"solving,":[29],"namely":[30],"triangular":[31],"decomposition":[32],"and":[33,58,92,104],"Groebner":[34],"basis":[35],"computation,":[36],"can":[37],"be":[38],"highly":[39],"sensitive":[40],"ordering":[43,65],"variables.":[46],"Our":[47],"examine":[51],"structure":[53],"given":[56],"use":[59],"it":[60],"variable":[64],"that":[66,120],"will":[67],"cause":[68],"solving":[70],"algorithm":[71],"complete":[73],"quickly":[74],"(or":[75],"alternately,":[76],"give":[78],"compact":[79],"output).":[80],"We":[81,115],"explore":[82],"methods":[83,122],"based":[84],"on":[85],"dependency":[87],"graph":[88],"coincident":[90],"variables":[91],"terms":[93],"between":[94],"equations.":[96],"Desirable":[97],"orderings":[98],"are":[99],"gleaned":[100],"from":[101],"connected":[102],"components":[103],"other":[105],"topological":[106],"properties":[107],"these":[109,121],"graphs,":[110],"under":[111],"different":[112],"weighting":[113],"schemes.":[114],"present":[116],"experimental":[117],"results":[118],"suggesting":[119],"work":[123],"well":[124],"in":[125],"practice.":[126]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}