{"id":"https://openalex.org/W1982469375","doi":"https://doi.org/10.1145/2755996.2756677","title":"Subtropical Real Root Finding","display_name":"Subtropical Real Root Finding","publication_year":2015,"publication_date":"2015-06-24","ids":{"openalex":"https://openalex.org/W1982469375","doi":"https://doi.org/10.1145/2755996.2756677","mag":"1982469375"},"language":"en","primary_location":{"id":"doi:10.1145/2755996.2756677","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2755996.2756677","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1501.04836","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039342399","display_name":"Thomas Sturm","orcid":"https://orcid.org/0000-0002-8088-340X"},"institutions":[{"id":"https://openalex.org/I4210155607","display_name":"Laboratoire d'Informatique en Images et Syst\u00e8mes d'Information","ror":"https://ror.org/04dv4he91","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I112936343","https://openalex.org/I1294671590","https://openalex.org/I188626449","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210155607","https://openalex.org/I48430043"]},{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]}],"countries":["DE","FR"],"is_corresponding":true,"raw_author_name":"Thomas Sturm","raw_affiliation_strings":["Max Planck Institute for Informatics, Saarbr\u00fccken, Germany","VERIDIS - Modeling and Verification of Distributed Algorithms and Systems (615 rue du Jardin Botanique 54600 Villers-l\u00e8s-Nancy - France)","MPII - Max-Planck-Institut f\u00fcr Informatik (Campus E-1 4, 66123 Saarbr\u00fccken, Germany - Germany)"],"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Informatics, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210109712"]},{"raw_affiliation_string":"VERIDIS - Modeling and Verification of Distributed Algorithms and Systems (615 rue du Jardin Botanique 54600 Villers-l\u00e8s-Nancy - France)","institution_ids":["https://openalex.org/I4210155607"]},{"raw_affiliation_string":"MPII - Max-Planck-Institut f\u00fcr Informatik (Campus E-1 4, 66123 Saarbr\u00fccken, Germany - Germany)","institution_ids":["https://openalex.org/I4210109712"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5039342399"],"corresponding_institution_ids":["https://openalex.org/I4210109712","https://openalex.org/I4210155607"],"apc_list":null,"apc_paid":null,"fwci":1.4532,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.82805884,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"347","last_page":"354"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9983000159263611,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9983000159263611,"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/T10142","display_name":"Formal Methods in Verification","score":0.9757000207901001,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9484999775886536,"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/monomial","display_name":"Monomial","score":0.7356892824172974},{"id":"https://openalex.org/keywords/root","display_name":"Root (linguistics)","score":0.6754460334777832},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.6099580526351929},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5044575929641724},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5025279521942139},{"id":"https://openalex.org/keywords/exponent","display_name":"Exponent","score":0.500190019607544},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.4795110523700714},{"id":"https://openalex.org/keywords/multivariate-statistics","display_name":"Multivariate statistics","score":0.46485745906829834},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.44742706418037415},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44253063201904297},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.33617058396339417},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2870188355445862},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.13076305389404297}],"concepts":[{"id":"https://openalex.org/C11252640","wikidata":"https://www.wikidata.org/wiki/Q243723","display_name":"Monomial","level":2,"score":0.7356892824172974},{"id":"https://openalex.org/C171078966","wikidata":"https://www.wikidata.org/wiki/Q111029","display_name":"Root (linguistics)","level":2,"score":0.6754460334777832},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.6099580526351929},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5044575929641724},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5025279521942139},{"id":"https://openalex.org/C2780388253","wikidata":"https://www.wikidata.org/wiki/Q5421508","display_name":"Exponent","level":2,"score":0.500190019607544},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.4795110523700714},{"id":"https://openalex.org/C161584116","wikidata":"https://www.wikidata.org/wiki/Q1952580","display_name":"Multivariate statistics","level":2,"score":0.46485745906829834},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.44742706418037415},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44253063201904297},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.33617058396339417},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2870188355445862},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.13076305389404297},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2755996.2756677","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2755996.2756677","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1501.04836","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1501.04836","pdf_url":"https://arxiv.org/pdf/1501.04836","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1501.04836","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1501.04836","pdf_url":"https://arxiv.org/pdf/1501.04836","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W9124626","https://openalex.org/W20183590","https://openalex.org/W167289627","https://openalex.org/W217710249","https://openalex.org/W1482259898","https://openalex.org/W1514578360","https://openalex.org/W1521385507","https://openalex.org/W1750629546","https://openalex.org/W1970573500","https://openalex.org/W1989840769","https://openalex.org/W1993746545","https://openalex.org/W1995320256","https://openalex.org/W1996622306","https://openalex.org/W2005722765","https://openalex.org/W2009683816","https://openalex.org/W2013702670","https://openalex.org/W2033040247","https://openalex.org/W2042388195","https://openalex.org/W2051499723","https://openalex.org/W2057602552","https://openalex.org/W2076680677","https://openalex.org/W2082133472","https://openalex.org/W2099287615","https://openalex.org/W2106974669","https://openalex.org/W2119763521","https://openalex.org/W2127470768","https://openalex.org/W2167324057","https://openalex.org/W2267753676","https://openalex.org/W2399910874","https://openalex.org/W2401610261","https://openalex.org/W2441241344","https://openalex.org/W2549082795","https://openalex.org/W2611147814","https://openalex.org/W2612686320","https://openalex.org/W2796604629","https://openalex.org/W2901474011","https://openalex.org/W3149604617","https://openalex.org/W3209416867","https://openalex.org/W4285719527","https://openalex.org/W4301216918","https://openalex.org/W6678861937","https://openalex.org/W6712839295"],"related_works":["https://openalex.org/W2399505800","https://openalex.org/W2018253224","https://openalex.org/W333749553","https://openalex.org/W1966623661","https://openalex.org/W2942288111","https://openalex.org/W2039516134","https://openalex.org/W1509594480","https://openalex.org/W2788737482","https://openalex.org/W2604734430","https://openalex.org/W2000663911"],"abstract_inverted_index":{"We":[0,17,103],"describe":[1],"a":[2,49],"new":[3],"incomplete":[4],"but":[5],"terminating":[6],"heuristic":[7],"method":[8,74,127],"for":[9,13,52,63],"real":[10],"root":[11],"finding":[12],"large":[14],"multivariate":[15],"polynomials.":[16],"take":[18],"an":[19],"abstract":[20],"view":[21],"of":[22,28,60,72,138],"the":[23,26,36,76,82,139],"polynomial":[24],"as":[25],"set":[27],"exponent":[29],"vectors":[30],"associated":[31],"with":[32,54,81,109,121],"sign":[33],"information":[34],"on":[35],"coefficients.":[37],"Then":[38],"we":[39],"employ":[40],"linear":[41,83],"programming":[42,84],"to":[43,91,111,118,124,131],"heuristically":[44],"find":[45],"roots.":[46],"There":[47],"is":[48,59],"specialized":[50],"variant":[51],"roots":[53],"exclusively":[55],"positive":[56],"coordinates,":[57],"which":[58],"considerable":[61],"interest":[62],"applications":[64],"in":[65,100,116,134],"chemistry":[66],"and":[67],"systems":[68],"biology.":[69],"An":[70],"implementation":[71],"our":[73],"combining":[75],"computer":[77],"algebra":[78],"system":[79],"Reduce":[80],"solver":[85],"Gurobi":[86],"has":[87,128],"been":[88],"successfully":[89],"applied":[90],"input":[92],"data":[93],"originating":[94],"from":[95],"established":[96],"mathematical":[97],"models":[98],"used":[99],"these":[101],"areas.":[102],"have":[104],"solved":[105],"several":[106],"hundred":[107],"problems":[108],"up":[110,117,123],"more":[112],"than":[113],"800,000":[114],"monomials":[115],"10":[119,136],"variables":[120],"degrees":[122],"12.":[125],"Our":[126],"failed":[129],"due":[130],"its":[132],"incompleteness":[133],"only":[135],"percent":[137],"cases.":[140]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}