{"id":"https://openalex.org/W3178647759","doi":"https://doi.org/10.1145/3452143.3465534","title":"Simple Differentially Definable Functions","display_name":"Simple Differentially Definable Functions","publication_year":2021,"publication_date":"2021-07-13","ids":{"openalex":"https://openalex.org/W3178647759","doi":"https://doi.org/10.1145/3452143.3465534","mag":"3178647759"},"language":"en","primary_location":{"id":"doi:10.1145/3452143.3465534","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3452143.3465534","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 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/A5102917406","display_name":"Antonio Jim\u00e9nez-Pastor","orcid":"https://orcid.org/0000-0002-6096-0623"},"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":"Antonio Jim\u00e9nez-Pastor","raw_affiliation_strings":["Johannes Kepler University Linz &amp; Research Institute for Symbolic Computation, Linz, Austria"],"affiliations":[{"raw_affiliation_string":"Johannes Kepler University Linz &amp; Research Institute for Symbolic Computation, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5102917406"],"corresponding_institution_ids":["https://openalex.org/I121883995"],"apc_list":null,"apc_paid":null,"fwci":0.1514,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.51300442,"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":"209","last_page":"216"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9980000257492065,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9980000257492065,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9977999925613403,"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/T11130","display_name":"Coding theory and cryptography","score":0.9973999857902527,"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/gravitational-singularity","display_name":"Gravitational singularity","score":0.7409049272537231},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7092970609664917},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.5914843082427979},{"id":"https://openalex.org/keywords/linear-differential-equation","display_name":"Linear differential equation","score":0.5710397958755493},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5701583623886108},{"id":"https://openalex.org/keywords/differential-equation","display_name":"Differential equation","score":0.5685136318206787},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5391929149627686},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.5232580900192261},{"id":"https://openalex.org/keywords/multiplication","display_name":"Multiplication (music)","score":0.467695951461792},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.46311843395233154},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.425086110830307},{"id":"https://openalex.org/keywords/linear-equation","display_name":"Linear equation","score":0.4165571928024292},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3310445547103882},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3253702223300934},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.16185876727104187},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.07487404346466064}],"concepts":[{"id":"https://openalex.org/C12843","wikidata":"https://www.wikidata.org/wiki/Q201721","display_name":"Gravitational singularity","level":2,"score":0.7409049272537231},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7092970609664917},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.5914843082427979},{"id":"https://openalex.org/C13982400","wikidata":"https://www.wikidata.org/wiki/Q1129902","display_name":"Linear differential equation","level":3,"score":0.5710397958755493},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5701583623886108},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.5685136318206787},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5391929149627686},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.5232580900192261},{"id":"https://openalex.org/C2780595030","wikidata":"https://www.wikidata.org/wiki/Q3860309","display_name":"Multiplication (music)","level":2,"score":0.467695951461792},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.46311843395233154},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.425086110830307},{"id":"https://openalex.org/C77346573","wikidata":"https://www.wikidata.org/wiki/Q484637","display_name":"Linear equation","level":2,"score":0.4165571928024292},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3310445547103882},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3253702223300934},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.16185876727104187},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.07487404346466064},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3452143.3465534","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3452143.3465534","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/6c69439a-057c-475a-9e6a-c5ba2e41fc97","is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/6c69439a-057c-475a-9e6a-c5ba2e41fc97","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Jimenez Pastor , A 2021 , Simple Differentially Definable Functions . in Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation . https://doi.org/10.1145/3452143.3465534","raw_type":"contributionToPeriodical"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8523940373","display_name":null,"funder_award_id":"SFB F50-07","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W40179841","https://openalex.org/W199933080","https://openalex.org/W640442761","https://openalex.org/W1846409004","https://openalex.org/W1977660677","https://openalex.org/W1981746549","https://openalex.org/W1987984355","https://openalex.org/W2003189478","https://openalex.org/W2031508508","https://openalex.org/W2148061837","https://openalex.org/W2153757816","https://openalex.org/W2760400293","https://openalex.org/W2809599484","https://openalex.org/W2885969493","https://openalex.org/W2963103356","https://openalex.org/W2963143268","https://openalex.org/W3011678905","https://openalex.org/W4214935456"],"related_works":["https://openalex.org/W4245687327","https://openalex.org/W2112549839","https://openalex.org/W4223602307","https://openalex.org/W2480891983","https://openalex.org/W2368992858","https://openalex.org/W2131427977","https://openalex.org/W2494981413","https://openalex.org/W2966095114","https://openalex.org/W2189303417","https://openalex.org/W2384782384"],"abstract_inverted_index":{"D-finite":[0,59],"functions":[1,60],"satisfy":[2],"linear":[3,80],"differential":[4],"equations":[5,15,62],"with":[6,58,63],"polynomial":[7],"coefficients.":[8],"The":[9],"solutions":[10],"to":[11,30,82,98],"this":[12,71,96],"type":[13],"of":[14,23,50,103],"may":[16],"have":[17],"singularities":[18,36],"determined":[19],"by":[20],"the":[21,32,38,67,84,99],"zeros":[22,65],"their":[24],"leading":[25,68,85],"coefficient.":[26,69],"There":[27],"are":[28],"algorithms":[29,77],"desingularize":[31],"equations,":[33],"i.e.,":[34],"remove":[35],"from":[37],"equation":[39],"that":[40],"do":[41],"not":[42],"appear":[43],"in":[44,66],"its":[45],"solutions.":[46],"However,":[47],"classical":[48],"computations":[49],"closure":[51,90],"properties":[52,91],"(such":[53],"as":[54],"addition,":[55],"multiplication,":[56],"etc.)":[57],"return":[61],"extra":[64],"In":[70],"paper":[72],"we":[73,93],"present":[74],"theory":[75,97],"and":[76,92],"based":[78],"on":[79],"algebra":[81],"control":[83],"coefficients":[86],"when":[87],"computing":[88],"these":[89],"also":[94],"extend":[95],"more":[100],"general":[101],"class":[102],"differentially":[104],"definable":[105],"functions.":[106]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}
