{"id":"https://openalex.org/W7104518098","doi":"https://doi.org/10.1145/3747199.3770904","title":"D-Finiteness: A Success Story","display_name":"D-Finiteness: A Success Story","publication_year":2025,"publication_date":"2025-07-28","ids":{"openalex":"https://openalex.org/W7104518098","doi":"https://doi.org/10.1145/3747199.3770904"},"language":null,"primary_location":{"id":"doi:10.1145/3747199.3770904","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747199.3770904","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3747199.3770904","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Manuel Kauers","orcid":"https://orcid.org/0000-0001-8641-6661"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Manuel Kauers","raw_affiliation_strings":["Institute for Algebra, Johannes Kepler University, Linz, Austria"],"raw_orcid":"https://orcid.org/0000-0001-8641-6661","affiliations":[{"raw_affiliation_string":"Institute for Algebra, Johannes Kepler University, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I121883995"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.58720204,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.2653999924659729,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.2653999924659729,"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/T11567","display_name":"semigroups and automata theory","score":0.1145000010728836,"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/compromise","display_name":"Compromise","score":0.6018000245094299},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5742999911308289},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.573199987411499},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4032999873161316},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.38989999890327454},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.3481999933719635}],"concepts":[{"id":"https://openalex.org/C46355384","wikidata":"https://www.wikidata.org/wiki/Q726686","display_name":"Compromise","level":2,"score":0.6018000245094299},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5742999911308289},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.573199987411499},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5245000123977661},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4032999873161316},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.38989999890327454},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.3481999933719635},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3188999891281128},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.3167000114917755},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3109000027179718},{"id":"https://openalex.org/C2776372474","wikidata":"https://www.wikidata.org/wiki/Q508291","display_name":"Simplicity","level":2,"score":0.29980000853538513},{"id":"https://openalex.org/C188971069","wikidata":"https://www.wikidata.org/wiki/Q1636734","display_name":"Universal algebra","level":3,"score":0.26339998841285706}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3747199.3770904","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747199.3770904","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3747199.3770904","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747199.3770904","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5736448030","display_name":null,"funder_award_id":"10.55776/PAT8258123","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":74,"referenced_works":["https://openalex.org/W186403072","https://openalex.org/W186562849","https://openalex.org/W1520389133","https://openalex.org/W1535048748","https://openalex.org/W1606131169","https://openalex.org/W1804812175","https://openalex.org/W1973886982","https://openalex.org/W1977049875","https://openalex.org/W1977660677","https://openalex.org/W1984841421","https://openalex.org/W1998095357","https://openalex.org/W2003189478","https://openalex.org/W2010830127","https://openalex.org/W2017481370","https://openalex.org/W2017992223","https://openalex.org/W2019367635","https://openalex.org/W2027384932","https://openalex.org/W2030214024","https://openalex.org/W2032125006","https://openalex.org/W2040682594","https://openalex.org/W2046151935","https://openalex.org/W2051580005","https://openalex.org/W2055334714","https://openalex.org/W2057808121","https://openalex.org/W2058971374","https://openalex.org/W2064305618","https://openalex.org/W2064359103","https://openalex.org/W2072236963","https://openalex.org/W2074222073","https://openalex.org/W2079048889","https://openalex.org/W2085498052","https://openalex.org/W2091659872","https://openalex.org/W2094965692","https://openalex.org/W2105816623","https://openalex.org/W2108964585","https://openalex.org/W2113904971","https://openalex.org/W2116578184","https://openalex.org/W2122300900","https://openalex.org/W2124915992","https://openalex.org/W2139308731","https://openalex.org/W2145602099","https://openalex.org/W2148061837","https://openalex.org/W2151359594","https://openalex.org/W2152354623","https://openalex.org/W2158247889","https://openalex.org/W2173952281","https://openalex.org/W2269537200","https://openalex.org/W2343438888","https://openalex.org/W2483492749","https://openalex.org/W2611625450","https://openalex.org/W2612425693","https://openalex.org/W2962868185","https://openalex.org/W2963110656","https://openalex.org/W2963764530","https://openalex.org/W2963973710","https://openalex.org/W2987329837","https://openalex.org/W2995681788","https://openalex.org/W2998054361","https://openalex.org/W3013983766","https://openalex.org/W3035458389","https://openalex.org/W3098527848","https://openalex.org/W3161239011","https://openalex.org/W3170313398","https://openalex.org/W3181864956","https://openalex.org/W4200040756","https://openalex.org/W4213075107","https://openalex.org/W4226177063","https://openalex.org/W4234000537","https://openalex.org/W4283817338","https://openalex.org/W4283817457","https://openalex.org/W4361225347","https://openalex.org/W4388495447","https://openalex.org/W4394925165","https://openalex.org/W4401946616"],"related_works":[],"abstract_inverted_index":{"A":[0],"considerable":[1],"portion":[2],"of":[3,31,60],"the":[4,13,29,43,54,58,70],"work":[5],"on":[6,18,42,53],"special":[7],"functions":[8,49,61,79],"in":[9,82],"computer":[10,86],"algebra":[11,87],"during":[12],"past":[14],"decades":[15],"was":[16,23],"focused":[17],"D-finite":[19,78],"functions.":[20],"This":[21],"focus":[22],"chosen":[24],"for":[25],"good":[26,39],"reasons,":[27],"as":[28,47,50],"concept":[30],"D-finiteness":[32],"has":[33],"proven":[34],"to":[35,92],"provide":[36],"a":[37],"fairly":[38],"compromise":[40],"between,":[41],"one":[44],"hand,":[45,56],"covering":[46],"many":[48],"possible,":[51],"and":[52,84],"other":[55],"keeping":[57],"class":[59],"restricted":[62],"enough":[63],"that":[64],"computations":[65],"stay":[66],"reasonably":[67],"efficient.":[68],"In":[69],"talk,":[71],"we":[72],"will":[73],"illustrate":[74],"how":[75,85],"questions":[76],"about":[77],"naturally":[80],"arise":[81],"applications":[83],"is":[88],"nowadays":[89],"routinely":[90],"used":[91],"answer":[93],"such":[94],"questions.":[95]},"counts_by_year":[],"updated_date":"2025-11-10T23:18:03.357015","created_date":"2025-11-10T00:00:00"}