{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:04:49Z","timestamp":1760061889972,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,11]],"date-time":"2018-07-11T00:00:00Z","timestamp":1531267200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,11]]},"DOI":"10.1145\/3208976.3208982","type":"proceedings-article","created":{"date-parts":[[2018,7,12]],"date-time":"2018-07-12T17:46:44Z","timestamp":1531417604000},"page":"375-382","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Comparison of CAD-based Methods for Computation of Rational Function Limits"],"prefix":"10.1145","author":[{"given":"Adam","family":"Strzebonski","sequence":"first","affiliation":[{"name":"Wolfram Research, Inc., Champaign, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930938"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"S. Basu R. Pollack and M.F. Roy. 2006. Algorithms in real algebraic geometry. Vol. Vol. 10. Springer-Verlag New York Inc.   S. Basu R. Pollack and M.F. Roy. 2006. Algorithms in real algebraic geometry. Vol. Vol. 10. Springer-Verlag New York Inc.","DOI":"10.1007\/3-540-33099-2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"J. Bochnak M. Coste and M.F. Roy. 1998. Real Algebraic Geometry. Springer.  J. Bochnak M. Coste and M.F. Roy. 1998. Real Algebraic Geometry. Springer.","DOI":"10.1007\/978-3-662-03718-8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/968708.968710"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2012.07.004"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"B. Caviness and J. Johnson (Eds.).. 1998. Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer Verlag New York.  B. Caviness and J. Johnson (Eds.).. 1998. Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer Verlag New York.","DOI":"10.1007\/978-3-7091-9459-1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576718"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/646589.697342"},{"key":"e_1_3_2_1_9_1","unstructured":"D. Gruntz. 1996. On computing limits in a symbolic manipulation system. Ph.D. Dissertation. ETH.  D. Gruntz. 1996. On computing limits in a symbolic manipulation system. Ph.D. Dissertation. ETH."},{"key":"e_1_3_2_1_10_1","unstructured":"S. \u0141ojasiewicz. 1964. Ensembles semi-analytiques. I.H.E.S.  S. \u0141ojasiewicz. 1964. Ensembles semi-analytiques. I.H.E.S."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/309831.309892"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/384101.384132"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0281"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0196-8858(83)90014-3"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0158"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0327"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2006.06.004"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837952"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3087604.3087641"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"A. Tarski. 1951. A decision method for elementary algebra and geometry. University of California Press.  A. Tarski. 1951. A decision method for elementary algebra and geometry. University of California Press.","DOI":"10.1525\/9780520348097"},{"key":"e_1_3_2_1_21_1","unstructured":"J. D. Velez J. P. Hernandez and C. A. Cadavid. 2015. Limits of quotients of real polynomial functions of three variables. arXiv 1505.04121.  J. D. Velez J. P. Hernandez and C. A. Cadavid. 2015. Limits of quotients of real polynomial functions of three variables. arXiv 1505.04121."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11425-013-4661-6"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1142\/S021949881550067X"}],"event":{"name":"ISSAC '18: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"New York NY USA","acronym":"ISSAC '18"},"container-title":["Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3208976.3208982","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3208976.3208982","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:49Z","timestamp":1750208929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3208976.3208982"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,11]]},"references-count":23,"alternative-id":["10.1145\/3208976.3208982","10.1145\/3208976"],"URL":"https:\/\/doi.org\/10.1145\/3208976.3208982","relation":{},"subject":[],"published":{"date-parts":[[2018,7,11]]},"assertion":[{"value":"2018-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}