{"id":"https://openalex.org/W2093916598","doi":"https://doi.org/10.1145/1145768.1145776","title":"Triangular decompositions of polynomial systems","display_name":"Triangular decompositions of polynomial systems","publication_year":2006,"publication_date":"2006-07-09","ids":{"openalex":"https://openalex.org/W2093916598","doi":"https://doi.org/10.1145/1145768.1145776","mag":"2093916598"},"language":"en","primary_location":{"id":"doi:10.1145/1145768.1145776","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1145768.1145776","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 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/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":true,"raw_author_name":"Marc Moreno Maza","raw_affiliation_strings":["University of Western Ontario (UWO), London, Ontario, Canada","University of Western Ontario (UWO), London, Ontario, Canada#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Western Ontario (UWO), London, Ontario, Canada","institution_ids":["https://openalex.org/I125749732"]},{"raw_affiliation_string":"University of Western Ontario (UWO), London, Ontario, Canada#TAB#","institution_ids":["https://openalex.org/I125749732"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5081832433"],"corresponding_institution_ids":["https://openalex.org/I125749732"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14967946,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"1","issue":null,"first_page":"8","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9998999834060669,"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.9998999834060669,"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.9933000206947327,"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/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.9896000027656555,"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/algebra-over-a-field","display_name":"Algebra over a field","score":0.524153470993042},{"id":"https://openalex.org/keywords/lemma","display_name":"Lemma (botany)","score":0.513081431388855},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5051682591438293},{"id":"https://openalex.org/keywords/gr\u00f6bner-basis","display_name":"Gr\u00f6bner basis","score":0.4901009500026703},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.48777157068252563},{"id":"https://openalex.org/keywords/prime","display_name":"Prime (order theory)","score":0.47230198979377747},{"id":"https://openalex.org/keywords/factorization-of-polynomials","display_name":"Factorization of polynomials","score":0.4682515561580658},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.43964821100234985},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.43453651666641235},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.43212565779685974},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4132445156574249},{"id":"https://openalex.org/keywords/differential-algebraic-geometry","display_name":"Differential algebraic geometry","score":0.4115932881832123},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.41141289472579956},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3304169774055481},{"id":"https://openalex.org/keywords/differential-equation","display_name":"Differential equation","score":0.23597422242164612},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.21999222040176392},{"id":"https://openalex.org/keywords/ordinary-differential-equation","display_name":"Ordinary differential equation","score":0.18464326858520508},{"id":"https://openalex.org/keywords/differential-algebraic-equation","display_name":"Differential algebraic equation","score":0.1548469364643097},{"id":"https://openalex.org/keywords/matrix-polynomial","display_name":"Matrix polynomial","score":0.14792433381080627},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.13156607747077942}],"concepts":[{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.524153470993042},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.513081431388855},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5051682591438293},{"id":"https://openalex.org/C198082693","wikidata":"https://www.wikidata.org/wiki/Q1551631","display_name":"Gr\u00f6bner basis","level":3,"score":0.4901009500026703},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.48777157068252563},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.47230198979377747},{"id":"https://openalex.org/C108741685","wikidata":"https://www.wikidata.org/wiki/Q392477","display_name":"Factorization of polynomials","level":4,"score":0.4682515561580658},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43964821100234985},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.43453651666641235},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43212565779685974},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4132445156574249},{"id":"https://openalex.org/C26959085","wikidata":"https://www.wikidata.org/wiki/Q5275330","display_name":"Differential algebraic geometry","level":5,"score":0.4115932881832123},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.41141289472579956},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3304169774055481},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.23597422242164612},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.21999222040176392},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.18464326858520508},{"id":"https://openalex.org/C186219872","wikidata":"https://www.wikidata.org/wiki/Q955889","display_name":"Differential algebraic equation","level":4,"score":0.1548469364643097},{"id":"https://openalex.org/C101044782","wikidata":"https://www.wikidata.org/wiki/Q6787887","display_name":"Matrix polynomial","level":3,"score":0.14792433381080627},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.13156607747077942},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","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},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"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/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C46757340","wikidata":"https://www.wikidata.org/wiki/Q43238","display_name":"Poaceae","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1145768.1145776","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1145768.1145776","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 international symposium on Symbolic and algebraic computation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W7934914","https://openalex.org/W174479171","https://openalex.org/W399280277","https://openalex.org/W1493593949","https://openalex.org/W1583570685","https://openalex.org/W1992805538","https://openalex.org/W1992962227","https://openalex.org/W1996430549","https://openalex.org/W2039228526","https://openalex.org/W2046652205","https://openalex.org/W2067965564","https://openalex.org/W2120467997","https://openalex.org/W2150489476","https://openalex.org/W2171609821","https://openalex.org/W4302081638"],"related_works":["https://openalex.org/W1605162252","https://openalex.org/W4401269637","https://openalex.org/W2138135391","https://openalex.org/W2138496493","https://openalex.org/W2949560367","https://openalex.org/W2686471609","https://openalex.org/W2015689303","https://openalex.org/W2230441834","https://openalex.org/W3026223998","https://openalex.org/W109420984"],"abstract_inverted_index":{"Triangular":[0],"decompositions":[1,315,366],"are":[2,44,343,375],"one":[3,89,123],"of":[4,14,31,56,71,108,129,140,160,169,192,221,230,255,266,281,301,320,386],"the":[5,62,72,82,87,96,105,116,121,125,138,141,219,248,264,282,299,308,332,352,360,376,383],"major":[6],"tools":[7],"for":[8,46,66,147,240,268,312,345,359,372],"solving":[9,148],"polynomial":[10,149,256,326],"systems.":[11,53],"For":[12,54],"systems":[13,55,150],"algebraic":[15,83,117],"equations,":[16,59],"they":[17,43,60,304,342],"provide":[18,61],"a":[19,27,68,130,166,241,253],"convenient":[20],"way":[21,65],"to":[22,77,86,196,237,262,307],"describe":[23],"complex":[24],"solutions":[25],"and":[26,119,156,175,187,206,223,252,294,368],"step":[28],"toward":[29],"isolation":[30],"real":[32],"roots":[33],"or":[34],"decomposition":[35],"into":[36],"irreducible":[37],"components.":[38],"Combined":[39],"with":[40,247,298],"other":[41],"techniques,":[42],"used":[45,344,363],"these":[47],"purposes":[48],"by":[49,134,151,201,292],"several":[50],"computer":[51],"algebra":[52],"partial":[57],"differential":[58,88,122],"main":[63,106],"practicable":[64],"determining":[67],"symbolic":[69],"description":[70],"solution":[73],"set.":[74],"Moreover,":[75],"thanks":[76],"Rosenfeld's":[78],"Lemma,":[79],"techniques":[80,371],"from":[81],"case":[84,118],"apply":[85],"[3].Research":[90],"in":[91,153,274,336,364,382],"this":[92,109,231,238,321,387],"area":[93],"is":[94,137,350],"following":[95],"natural":[97],"cycle:":[98],"theory,":[99],"algorithms,":[100],"implementation,":[101],"which":[102],"will":[103,233,323,339],"be":[104,234],"theme":[107],"tutorial.":[110,388],"We":[111],"shall":[112,380],"also":[113,218,260],"concentrate":[114],"on":[115,325],"mention":[120],"among":[124],"applications.Theory.":[126],"The":[127,227,317],"concept":[128],"characteristic":[131,158,190,212],"set,":[132],"introduced":[133],"Ritt":[135],"[14],":[136],"cornerstone":[139],"theory.":[142],"He":[143],"described":[144],"an":[145,235],"algorithm":[146,311],"factoring":[152],"field":[154],"extensions":[155],"computing":[157,269,313],"sets":[159,191],"prime":[161],"ideals.":[162],"Wu":[163],"[16]":[164],"obtained":[165],"factorization-free":[167],"adaptation":[168],"Ritt's":[170],"algorithm.":[171],"Several":[172],"authors":[173],"continued":[174],"improved":[176],"Wu's":[177],"approach:":[178],"Chou,":[179],"Gao":[180],"[4],":[181],"Gallo,":[182],"Mishra":[183],"[10]":[184],"Wang":[185],"[15]":[186],"others.":[188],"Considering":[189],"non-prime":[193],"ideals":[194],"leads":[195],"difficulties":[197],"that":[198,378],"were":[199,286,290],"overcome":[200],"Kalkbrener":[202],"[11]":[203],"and,":[204],"Yang":[205],"Zhang":[207],"[17]":[208],"who":[209],"defined":[210],"particular":[211],"sets,":[213],"called":[214],"regular":[215,284,329],"chains.":[216,330],"See":[217],"work":[220],"Lazard":[222],"his":[224],"students":[225],"[1].":[226],"first":[228,309],"part":[229,319,385],"tutorial":[232,322],"introduction":[236],"notion":[239,254,300],"general":[242],"audience.Algorithms.":[243],"Regular":[244],"chains,":[245],"combined":[246],"D5":[249],"Principle":[250],"[8]":[251],"GCD":[257],"[13],":[258],"have":[259,305],"contributed":[261],"improve":[263],"efficiency":[265],"algorithms":[267,358],"triangular":[270,314,365],"decompositions,":[271],"as":[272],"reported":[273],"[2].":[275],"To":[276],"go":[277],"further,":[278],"complexity":[279],"estimates":[280],"output":[283],"chains":[285],"needed.":[287],"Such":[288],"results":[289],"provided":[291],"Dahan":[293],"Schost":[295],"[7].":[296],"Together":[297],"equiprojectable":[302,347],"decomposition,":[303],"led":[306],"modular":[310],"[5].":[316],"second":[318],"focus":[324],"GCDs":[327],"modulo":[328],"Using":[331],"RegularChains":[333],"library":[334],"[12]":[335],"Maple,":[337],"we":[338,379],"show":[340],"how":[341],"producing":[346],"decomposition.Implementation.":[348],"This":[349],"certainly":[351],"hot":[353],"topic":[354],"today.":[355],"Obtaining":[356],"fast":[357],"low-level":[361],"routines":[362],"[6]":[367],"developing":[369],"implementation":[370],"them":[373],"[9]":[374],"priorities":[377],"discuss":[381],"last":[384]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}