{"id":"https://openalex.org/W4400650226","doi":"https://doi.org/10.1145/3666000.3669675","title":"Reduction of Transcendental Decision Problems over the Reals","display_name":"Reduction of Transcendental Decision Problems over the Reals","publication_year":2024,"publication_date":"2024-07-15","ids":{"openalex":"https://openalex.org/W4400650226","doi":"https://doi.org/10.1145/3666000.3669675"},"language":"en","primary_location":{"id":"doi:10.1145/3666000.3669675","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3666000.3669675","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 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/A5003473978","display_name":"Rizeng Chen","orcid":"https://orcid.org/0009-0001-5985-5359"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Rizeng Chen","raw_affiliation_strings":["School of Mathematical Sciences, Peking University, China"],"raw_orcid":"https://orcid.org/0009-0001-5985-5359","affiliations":[{"raw_affiliation_string":"School of Mathematical Sciences, Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065639971","display_name":"Bican Xia","orcid":"https://orcid.org/0000-0002-2570-2338"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bican Xia","raw_affiliation_strings":["Peking University, China"],"raw_orcid":"https://orcid.org/0000-0002-2570-2338","affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5003473978"],"corresponding_institution_ids":["https://openalex.org/I20231570"],"apc_list":null,"apc_paid":null,"fwci":1.7188,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.81175092,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"56","last_page":"64"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9796000123023987,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9796000123023987,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9607999920845032,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9488000273704529,"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/transcendental-number","display_name":"Transcendental number","score":0.7906968593597412},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.6687116622924805},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5189804434776306},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3702685534954071}],"concepts":[{"id":"https://openalex.org/C188370112","wikidata":"https://www.wikidata.org/wiki/Q173091","display_name":"Transcendental number","level":2,"score":0.7906968593597412},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.6687116622924805},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5189804434776306},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3702685534954071},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3666000.3669675","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3666000.3669675","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6299999952316284,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1511221827","https://openalex.org/W1582811927","https://openalex.org/W1595559231","https://openalex.org/W1970473241","https://openalex.org/W1972600569","https://openalex.org/W1994475353","https://openalex.org/W2001915506","https://openalex.org/W2007454673","https://openalex.org/W2010180140","https://openalex.org/W2011843773","https://openalex.org/W2015314684","https://openalex.org/W2054225417","https://openalex.org/W2063118073","https://openalex.org/W2063402394","https://openalex.org/W2088242110","https://openalex.org/W2102283069","https://openalex.org/W2121112004","https://openalex.org/W2396103282","https://openalex.org/W2473874150","https://openalex.org/W2576415565","https://openalex.org/W2963800672","https://openalex.org/W2980058062","https://openalex.org/W4205798499","https://openalex.org/W4229917934","https://openalex.org/W4249480525","https://openalex.org/W4383222034","https://openalex.org/W4384938768","https://openalex.org/W4389011534"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W2367466578","https://openalex.org/W4298092961","https://openalex.org/W2951586668","https://openalex.org/W4294017991","https://openalex.org/W2505519556","https://openalex.org/W1919369716","https://openalex.org/W2350200413","https://openalex.org/W1981808290"],"abstract_inverted_index":{"A":[0],"special":[1],"class":[2],"of":[3,24,37,85,97],"univariate":[4,25,105],"transcendental":[5],"decision":[6,53],"problems":[7],"called":[8],"\u201ctrigonometric":[9],"extension\u201d":[10],"is":[11,21,46,79,90,110],"studied":[12],"in":[13,49,62],"this":[14,50],"paper.":[15],"Roughly":[16],"speaking,":[17],"a":[18,22,34,63,94],"trigonometric":[19,31,87],"extension":[20],"ring":[23,35],"analytic":[26],"functions":[27,32,38],"obtained":[28],"by":[29],"adjoining":[30],"to":[33,58,103],"consisting":[36],"having":[39],"only":[40],"finitely":[41],"many":[42],"real":[43],"zeros.":[44],"It":[45],"shown":[47],"that":[48],"case,":[51,106],"the":[52,68,83,98,104,107],"problem":[54],"can":[55,100],"be":[56,101],"reduced":[57,102],"looking":[59],"for":[60,82],"solutions":[61],"bounded":[64],"domain.":[65],"Based":[66],"on":[67],"reduction,":[69],"several":[70],"new":[71],"decidability":[72],"results":[73],"are":[74],"established":[75],"when":[76],"Schanuel\u2019s":[77],"Conjecture":[78],"assumed.":[80],"Furthermore,":[81],"theory":[84,99,109],"multivariate":[86],"extension,":[88],"it":[89],"proved":[91],"that,":[92],"although":[93],"small":[95],"fragment":[96],"general":[108],"undecidable.":[111]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}