{"id":"https://openalex.org/W2000852057","doi":"https://doi.org/10.1145/1823931.1823954","title":"Advanced applications of the holonomic systems approach","display_name":"Advanced applications of the holonomic systems approach","publication_year":2010,"publication_date":"2010-06-24","ids":{"openalex":"https://openalex.org/W2000852057","doi":"https://doi.org/10.1145/1823931.1823954","mag":"2000852057"},"language":"en","primary_location":{"id":"doi:10.1145/1823931.1823954","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1823931.1823954","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/A5057169112","display_name":"Christoph Koutschan","orcid":"https://orcid.org/0000-0003-1135-3082"},"institutions":[{"id":"https://openalex.org/I2800643029","display_name":"Association for Symbolic Logic","ror":"https://ror.org/00baryp08","country_code":"US","type":"other","lineage":["https://openalex.org/I2800643029"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Christoph Koutschan","raw_affiliation_strings":["Research Institute for Symbolic Computation"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research Institute for Symbolic Computation","institution_ids":["https://openalex.org/I2800643029"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5057169112"],"corresponding_institution_ids":["https://openalex.org/I2800643029"],"apc_list":null,"apc_paid":null,"fwci":20.4363,"has_fulltext":false,"cited_by_count":140,"citation_normalized_percentile":{"value":0.99816682,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":100},"biblio":{"volume":"43","issue":"3/4","first_page":"119","last_page":"119"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11416","display_name":"Numerical methods for differential equations","score":0.9872000217437744,"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"}},"topics":[{"id":"https://openalex.org/T11416","display_name":"Numerical methods for differential equations","score":0.9872000217437744,"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"}},{"id":"https://openalex.org/T11191","display_name":"Mathematical functions and polynomials","score":0.9775000214576721,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"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/T11435","display_name":"Polynomial and algebraic computation","score":0.977400004863739,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/holonomic","display_name":"Holonomic","score":0.794568657875061},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5479065775871277},{"id":"https://openalex.org/keywords/rational-function","display_name":"Rational function","score":0.5466528534889221},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.540168046951294},{"id":"https://openalex.org/keywords/special-functions","display_name":"Special functions","score":0.4878551959991455},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4640699028968811},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.44030991196632385},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.43679141998291016},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.42543086409568787},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3873944878578186},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.33433979749679565},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.321277379989624},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20360252261161804},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.14785122871398926}],"concepts":[{"id":"https://openalex.org/C2777964439","wikidata":"https://www.wikidata.org/wiki/Q5884201","display_name":"Holonomic","level":2,"score":0.794568657875061},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5479065775871277},{"id":"https://openalex.org/C75190567","wikidata":"https://www.wikidata.org/wiki/Q41237","display_name":"Rational function","level":2,"score":0.5466528534889221},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.540168046951294},{"id":"https://openalex.org/C50757856","wikidata":"https://www.wikidata.org/wiki/Q867707","display_name":"Special functions","level":2,"score":0.4878551959991455},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4640699028968811},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.44030991196632385},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.43679141998291016},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.42543086409568787},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3873944878578186},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.33433979749679565},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.321277379989624},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20360252261161804},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.14785122871398926},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","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/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1823931.1823954","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1823931.1823954","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.159.1361","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.1361","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.risc.uni-linz.ac.at/publications/download/risc_3886/thesisKoutschan.pdf","raw_type":"text"}],"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/W2051058708","https://openalex.org/W154868527","https://openalex.org/W1494268238","https://openalex.org/W3101869060","https://openalex.org/W2064305618","https://openalex.org/W1499553682","https://openalex.org/W2963031694","https://openalex.org/W2061217545","https://openalex.org/W2949860096","https://openalex.org/W239139641"],"abstract_inverted_index":{"The":[0,69,286,349],"holonomic":[1,22,75],"systems":[2,217],"approach":[3,380],"was":[4],"proposed":[5],"in":[6,173,187,209,245,267,308,320,335,340],"the":[7,18,33,142,157,189,204,232,278,290,317,336,344,357,372],"early":[8],"1990s":[9],"by":[10,31,41,124],"Doron":[11],"Zeilberger.":[12],"It":[13],"laid":[14],"a":[15,67,96,174,264,294,321,332,353,378],"foundation":[16],"for":[17,149,252,360,381],"algorithmic":[19,47],"treatment":[20],"of":[21,37,58,66,71,98,118,179,206,215,218,234,280,293,343,346,356],"function":[23,230],"identities.":[24],"Fr\u00e9d\u00e9ric":[25],"Chyzak":[26],"later":[27],"extended":[28],"this":[29,180,235,341],"framework":[30],"introducing":[32],"closely":[34],"related":[35],"notion":[36],"\u2202-finite":[38,77],"functions":[39,72,81,100,119,307],"and":[40,76,109,129,134,153,170,211,297],"placing":[42],"their":[43,246,253],"manipulation":[44],"on":[45,238],"solid":[46],"grounds.":[48],"For":[49],"practical":[50],"purposes":[51],"it":[52,115,271],"is":[53,62,116,141,160,182,237],"convenient":[54],"to":[55,144,166,259,269,272,315,326],"take":[56],"advantage":[57],"both":[59,132],"concepts":[60],"which":[61,164,188,330],"not":[63],"too":[64],"much":[65],"restriction:":[68],"class":[70],"that":[73,120,242,288,323],"are":[74,193,243],"contains":[78],"many":[79,126],"elementary":[80],"(such":[82],"as":[83,93,95,200,249,251,367],"rational":[84,213],"functions,":[85,87,111],"algebraic":[86],"logarithms,":[88],"exponentials,":[89],"sine":[90],"function,":[91],"etc.)":[92],"well":[94,250],"multitude":[97],"special":[99,229],"(like":[101],"classical":[102],"orthogonal":[103],"polynomials,":[104],"elliptic":[105],"integrals,":[106],"Airy,":[107],"Bessel,":[108],"Kelvin":[110],"etc.).":[112],"In":[113],"short,":[114],"composed":[117],"can":[121],"be":[122],"characterized":[123],"sufficiently":[125],"partial":[127],"differential":[128,220],"difference":[130,222],"equations,":[131],"linear":[133,219],"with":[135,168,301],"polynomial":[136],"coefficients.":[137],"An":[138],"important":[139],"ingredient":[140],"ability":[143],"execute":[145],"closure":[146],"properties":[147],"algorithmically,":[148],"example":[150],"addition,":[151],"multiplication,":[152],"certain":[154],"substitutions.":[155],"But":[156],"central":[158],"technique":[159],"called":[161],"creative":[162,383],"telescoping":[163,384],"allows":[165],"deal":[167],"summation":[169],"integration":[171],"problems":[172],"completely":[175],"automatized":[176],"fashion.":[177],"Part":[178],"thesis":[181,236],"our":[183,302],"Mathematica":[184],"package":[185],"HolonomicFunctions":[186],"above":[190],"mentioned":[191],"algorithms":[192,319],"implemented,":[194],"including":[195],"more":[196],"basic":[197],"functionality":[198],"such":[199],"noncommutative":[201],"operator":[202],"algebras,":[203],"computation":[205],"Gr\u00f6bner":[207],"bases":[208],"them,":[210],"finding":[212,382],"solutions":[214],"parameterized":[216],"or":[221],"equations.":[223],"Besides":[224],"standard":[225],"applications":[226,241],"like":[227],"proving":[228],"identities,":[231],"focus":[233],"three":[239],"advanced":[240],"interesting":[244],"own":[247],"right":[248],"computational":[254],"challenge.":[255],"First,":[256],"we":[257,312,376],"contributed":[258],"translating":[260],"Takayama's":[261],"algorithm":[262],"into":[263],"new":[265,379],"context,":[266],"order":[268],"apply":[270],"an":[273],"until":[274],"then":[275],"open":[276],"problem,":[277],"proof":[279,291,355],"Ira":[281],"Gessel's":[282],"lattice":[283],"path":[284],"conjecture.":[285],"computations":[287,374],"completed":[289],"were":[292,313],"nontrivial":[295],"size":[296],"have":[298],"been":[299],"performed":[300],"software.":[303],"Second,":[304],"investigating":[305],"basis":[306],"finite":[309],"element":[310],"methods,":[311],"able":[314],"extend":[316],"existing":[318],"way":[322],"allowed":[324],"us":[325],"derive":[327],"various":[328],"relations":[329],"generated":[331],"considerable":[333],"speed-up":[334],"subsequent":[337],"numerical":[338],"simulations,":[339],"case":[342],"propagation":[345],"electromagnetic":[347],"waves.":[348],"third":[350],"application":[351],"concerns":[352],"computer":[354],"enumeration":[358],"formula":[359],"totally":[361],"symmetric":[362],"plane":[363],"partitions,":[364],"also":[365],"known":[366],"Stembridge's":[368],"theorem.":[369],"To":[370],"make":[371],"underlying":[373],"feasible":[375],"employed":[377],"operators.":[385]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":9},{"year":2023,"cited_by_count":11},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":12},{"year":2020,"cited_by_count":13},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":10},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":11},{"year":2012,"cited_by_count":15}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}