{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:42Z","timestamp":1750306662715,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,24]],"date-time":"2015-06-24T00:00:00Z","timestamp":1435104000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ANR\/DFG","award":["STU 483\/2-1 SMArT"],"award-info":[{"award-number":["STU 483\/2-1 SMArT"]}]},{"name":"DFG","award":["SFB\/TR 14 AVACS"],"award-info":[{"award-number":["SFB\/TR 14 AVACS"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6,24]]},"DOI":"10.1145\/2755996.2756677","type":"proceedings-article","created":{"date-parts":[[2015,6,25]],"date-time":"2015-06-25T14:43:22Z","timestamp":1435243402000},"page":"347-354","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Subtropical Real Root Finding"],"prefix":"10.1145","author":[{"given":"Thomas","family":"Sturm","sequence":"first","affiliation":[{"name":"Max Planck Institute for Informatics, Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,6,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.15388\/NA.2005.10.4.15110"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100029650"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1769026.1769032"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/800205.806346"},{"key":"e_1_3_2_1_5_1","volume-title":"Linear programming and extensions","author":"Dantzig G. B.","year":"1963","unstructured":"G. B. Dantzig. Linear programming and extensions. Princeton University Press, Princeton, NJ, 1963."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.2307\/3214289"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0353"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02297-0_7"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcp.2015.02.050"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2040148.2040159"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2005.07.002"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.04.007"},{"key":"e_1_3_2_1_13_1","first-page":"269","volume-title":"Recent Advances in Mathematical Programming","author":"Gomory R.","year":"1963","unstructured":"R. Gomory. An algorithm for integer solutions to linear programs. In R. L. Graves and P. Wolfe, editors, Recent Advances in Mathematical Programming, pages 269--302. McGraw-Hill, 1963."},{"key":"e_1_3_2_1_14_1","unstructured":"Gurobi Optimization Inc. Gurobi Optimizer Reference Manual 2014."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/153158"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4426-4"},{"key":"e_1_3_2_1_17_1","volume-title":"Free Version","author":"Hearn A. C.","year":"2014","unstructured":"A. C. Hearn and R. Sch\u00f6pf. Reduce User's Manual, Free Version, Oct. 2014."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02579150"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-2001-2_9"},{"issue":"1","key":"e_1_3_2_1_20_1","first-page":"191","article-title":"A polynomial algorithm in linear programming","volume":"20","author":"Khakhiyan L. G.","year":"1979","unstructured":"L. G. Khakhiyan. A polynomial algorithm in linear programming. Soviet Mathematics Doklady, 20(1):191--194, 1979.","journal-title":"Soviet Mathematics Doklady"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1002\/nav.3800010107"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/36.5.450"},{"key":"e_1_3_2_1_23_1","volume-title":"Department for Applied Informatics","author":"Makhorin A.","year":"2014","unstructured":"A. Makhorin. GNU Linear Programming Kit. Department for Applied Informatics, Moscow Aviation Institute, Moscow, Russia, Aug. 2014."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/160953"},{"key":"e_1_3_2_1_25_1","volume-title":"July","author":"Norman A. C.","year":"1991","unstructured":"A. C. Norman. Codemist Standard Lisp (CSL) technical overview and details, July 1991."},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the A3L 2005","author":"Norman A. C.","year":"2005","unstructured":"A. C. Norman. Thirty years of Lisp support for REDUCE. In Proceedings of the A3L 2005. BOD, Norderstedt, Germany, 2005."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.025"},{"key":"e_1_3_2_1_28_1","first-page":"273","volume-title":"M\u00e9moires pr\u00e9sent\u00e9s par divers Savants \u00e9trangers \u00e0 l'Acad\u00e9mie royale des sciences, section Sc. math. phys.","author":"Sturm J. C. F.","year":"1835","unstructured":"J. C. F. Sturm. M\u00e9moire sur la r\u00e9solution des \u00e9quations num\u00e9riques. In M\u00e9moires pr\u00e9sent\u00e9s par divers Savants \u00e9trangers \u00e0 l'Acad\u00e9mie royale des sciences, section Sc. math. phys., volume 6, pages 273--318, 1835."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85101-1_15"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-008-0067-1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1090\/cbms\/097"},{"key":"e_1_3_2_1_33_1","first-page":"341","article-title":"Sur la r\u00e9solution des \u00e9quations num\u00e9riques","volume":"1","author":"Vincent A. J. H.","year":"1836","unstructured":"A. J. H. Vincent. Sur la r\u00e9solution des \u00e9quations num\u00e9riques. Journal de Math\u00e9matiques Pures et Appliqu\u00e9es, 1:341--372, 1836.","journal-title":"Journal de Math\u00e9matiques Pures et Appliqu\u00e9es"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073933"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11538-010-9618-0"}],"event":{"name":"ISSAC'15: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Bath United Kingdom","acronym":"ISSAC'15"},"container-title":["Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2755996.2756677","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2755996.2756677","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:31Z","timestamp":1750230031000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2755996.2756677"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,24]]},"references-count":34,"alternative-id":["10.1145\/2755996.2756677","10.1145\/2755996"],"URL":"https:\/\/doi.org\/10.1145\/2755996.2756677","relation":{},"subject":[],"published":{"date-parts":[[2015,6,24]]},"assertion":[{"value":"2015-06-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}