{"id":"https://openalex.org/W2134035034","doi":"https://doi.org/10.1145/1007352.1007425","title":"Counting complexity classes for numeric computations II","display_name":"Counting complexity classes for numeric computations II","publication_year":2004,"publication_date":"2004-06-13","ids":{"openalex":"https://openalex.org/W2134035034","doi":"https://doi.org/10.1145/1007352.1007425","mag":"2134035034"},"language":"en","primary_location":{"id":"doi:10.1145/1007352.1007425","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1007352.1007425","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the thirty-sixth annual ACM symposium on Theory of computing","raw_type":"proceedings-article"},"type":"conference-paper","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/A5029244957","display_name":"Peter B\u00fcrgisser","orcid":"https://orcid.org/0000-0001-8169-0514"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Peter B\u00fcrgisser","raw_affiliation_strings":["Paderborn University, Paderborn, Germany","Paderborn University, Paderborn, Germany#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Paderborn University, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]},{"raw_affiliation_string":"Paderborn University, Paderborn, Germany#TAB#","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079608792","display_name":"Felipe Cucker","orcid":"https://orcid.org/0000-0002-4569-3248"},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Felipe Cucker","raw_affiliation_strings":["University of Hong Kong, Kowloon, Hong Kong","University of Hong Kong , Kowloon, Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Hong Kong, Kowloon, Hong Kong","institution_ids":["https://openalex.org/I889458895"]},{"raw_affiliation_string":"University of Hong Kong , Kowloon, Hong Kong","institution_ids":["https://openalex.org/I889458895"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"475","last_page":"485"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9990000128746033,"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/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9990000128746033,"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.9983999729156494,"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.9983000159263611,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7183746695518494},{"id":"https://openalex.org/keywords/counting-problem","display_name":"Counting problem","score":0.6940611600875854},{"id":"https://openalex.org/keywords/betti-number","display_name":"Betti number","score":0.6715975999832153},{"id":"https://openalex.org/keywords/euler-characteristic","display_name":"Euler characteristic","score":0.6238312721252441},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5658367276191711},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5128429532051086},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.5018794536590576},{"id":"https://openalex.org/keywords/eulers-formula","display_name":"Euler's formula","score":0.4941909611225128},{"id":"https://openalex.org/keywords/homology","display_name":"Homology (biology)","score":0.48487886786460876},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4844782054424286},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.4600219130516052},{"id":"https://openalex.org/keywords/real-algebraic-geometry","display_name":"Real algebraic geometry","score":0.4551014006137848},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.430009663105011},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.3837132453918457},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.3459267020225525},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.16066929697990417}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7183746695518494},{"id":"https://openalex.org/C16592021","wikidata":"https://www.wikidata.org/wiki/Q5177154","display_name":"Counting problem","level":2,"score":0.6940611600875854},{"id":"https://openalex.org/C129621563","wikidata":"https://www.wikidata.org/wiki/Q429593","display_name":"Betti number","level":2,"score":0.6715975999832153},{"id":"https://openalex.org/C196433757","wikidata":"https://www.wikidata.org/wiki/Q852973","display_name":"Euler characteristic","level":2,"score":0.6238312721252441},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5658367276191711},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5128429532051086},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.5018794536590576},{"id":"https://openalex.org/C62884695","wikidata":"https://www.wikidata.org/wiki/Q184871","display_name":"Euler's formula","level":2,"score":0.4941909611225128},{"id":"https://openalex.org/C165525559","wikidata":"https://www.wikidata.org/wiki/Q224180","display_name":"Homology (biology)","level":3,"score":0.48487886786460876},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4844782054424286},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.4600219130516052},{"id":"https://openalex.org/C2731732","wikidata":"https://www.wikidata.org/wiki/Q7301119","display_name":"Real algebraic geometry","level":3,"score":0.4551014006137848},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.430009663105011},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.3837132453918457},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3459267020225525},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.16066929697990417},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1007352.1007425","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1007352.1007425","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the thirty-sixth annual ACM symposium on Theory of computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":85,"referenced_works":["https://openalex.org/W211895014","https://openalex.org/W574660464","https://openalex.org/W1485995001","https://openalex.org/W1495980450","https://openalex.org/W1496383623","https://openalex.org/W1497600877","https://openalex.org/W1499035495","https://openalex.org/W1509036934","https://openalex.org/W1521050514","https://openalex.org/W1521877949","https://openalex.org/W1550331971","https://openalex.org/W1561337879","https://openalex.org/W1562183207","https://openalex.org/W1574151794","https://openalex.org/W1576854535","https://openalex.org/W1589087843","https://openalex.org/W1828839365","https://openalex.org/W1968206655","https://openalex.org/W1971650774","https://openalex.org/W1971666500","https://openalex.org/W1974331311","https://openalex.org/W1975790950","https://openalex.org/W1979572578","https://openalex.org/W1980441998","https://openalex.org/W1984469422","https://openalex.org/W1985018650","https://openalex.org/W1986662193","https://openalex.org/W1988821632","https://openalex.org/W1991581432","https://openalex.org/W1991813962","https://openalex.org/W1996643891","https://openalex.org/W1999714795","https://openalex.org/W2001269450","https://openalex.org/W2004419188","https://openalex.org/W2006912660","https://openalex.org/W2007014039","https://openalex.org/W2010238663","https://openalex.org/W2011043790","https://openalex.org/W2013504313","https://openalex.org/W2031859062","https://openalex.org/W2033016032","https://openalex.org/W2035153735","https://openalex.org/W2042106485","https://openalex.org/W2048353152","https://openalex.org/W2056717130","https://openalex.org/W2064751579","https://openalex.org/W2066787417","https://openalex.org/W2067754486","https://openalex.org/W2070310828","https://openalex.org/W2071846104","https://openalex.org/W2078730239","https://openalex.org/W2079688825","https://openalex.org/W2082387287","https://openalex.org/W2087392392","https://openalex.org/W2089606669","https://openalex.org/W2102074804","https://openalex.org/W2115204359","https://openalex.org/W2115826669","https://openalex.org/W2126854430","https://openalex.org/W2130164058","https://openalex.org/W2134424832","https://openalex.org/W2137407595","https://openalex.org/W2148957455","https://openalex.org/W2153167702","https://openalex.org/W2158048440","https://openalex.org/W2170831059","https://openalex.org/W2314686410","https://openalex.org/W2486762503","https://openalex.org/W2503612797","https://openalex.org/W2911521611","https://openalex.org/W2950672055","https://openalex.org/W2998385477","https://openalex.org/W3040586665","https://openalex.org/W3107709063","https://openalex.org/W4212914765","https://openalex.org/W4213009134","https://openalex.org/W4241226388","https://openalex.org/W4241816833","https://openalex.org/W4248269519","https://openalex.org/W6629144693","https://openalex.org/W6629472652","https://openalex.org/W6630435828","https://openalex.org/W6673136766","https://openalex.org/W6780011183","https://openalex.org/W6990023262"],"related_works":["https://openalex.org/W3153979038","https://openalex.org/W4319591071","https://openalex.org/W2070001083","https://openalex.org/W4213087886","https://openalex.org/W4309871294","https://openalex.org/W2963511174","https://openalex.org/W4298446668","https://openalex.org/W2962904734","https://openalex.org/W2623021320","https://openalex.org/W2082774629"],"abstract_inverted_index":{"We":[0,54,81,113,162],"define":[1,115],"counting":[2,23,61,117],"classes":[3,62,119,134],"#PR":[4],"and":[5,76,98,121,136,146],"#PC":[6],"in":[7,51,123,159,166],"the":[8,14,24,59,64,84,88,100,104,124,133,139,143,147,164,167,177,180,184,189,204,211],"Blum-Shub-Smale":[9],"setting":[10],"of":[11,22,26,28,30,36,38,66,71,92,107,132,150,179,182,188,191,194],"computations":[12],"over":[13,33,41],"real":[15,192],"or":[16,35],"complex":[17,108],"numbers,":[18],"respectively.":[19],"The":[20],"problems":[21,50,140],"number":[25,187],"solutions":[27],"systems":[29,37],"polynomial":[31,39],"inequalities":[32],"R,":[34],"equalities":[40],"C,":[42],"respectively,":[43],"turn":[44],"out":[45],"to":[46,56,86,102,141,203],"be":[47],"natural":[48],"complete":[49,158],"these":[52,160],"classes.":[53,161],"investigate":[55],"what":[57],"extent":[58],"new":[60,116],"capture":[63],"complexity":[65,118],"computing":[67,183],"basic":[68],"topological":[69],"invariants":[70],"semialgebraic":[72,93],"sets":[73,78,94,110,152],"(over":[74,79],"R)":[75],"algebraic":[77,109],"C).":[80],"prove":[82],"that":[83,99,138],"problem":[85,101,181],"compute":[87,103,142],"(modified)":[89],"Euler":[90,144],"characteristic":[91,145],"is":[95,111],"FPR#P":[96],"RR-complete,":[97],"geometric":[105,148],"degree":[106,149],"FPR#PCC-complete.":[112],"also":[114],"GCR":[120],"GCC":[122],"classical":[125],"Turing":[126,168],"model":[127,169],"via":[128],"taking":[129],"Boolean":[130],"parts":[131],"above,":[135],"show":[137],"(semi)algebraic":[151],"given":[153,196],"by":[154,170],"integer":[155,197],"polynomials":[156],"are":[157],"complement":[163],"results":[165],"proving,":[171],"for":[172,210],"all":[173],"k":[174],"\u2208":[175],"N,":[176],"FPSPACE-hardness":[178],"kth":[185],"Betti":[186],"set":[190],"zeros":[193],"a":[195],"polynomial.":[198],"This":[199],"holds":[200],"with":[201],"respect":[202],"singular":[205],"homology":[206],"as":[207,209],"well":[208],"Borel-Moore":[212],"homology.":[213]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}