{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:59:20Z","timestamp":1760061560404,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,23]],"date-time":"2017-07-23T00:00:00Z","timestamp":1500768000000},"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":[[2017,7,23]]},"DOI":"10.1145\/3087604.3087627","type":"proceedings-article","created":{"date-parts":[[2017,7,19]],"date-time":"2017-07-19T20:02:15Z","timestamp":1500494535000},"page":"213-220","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Formula Simplification for Real Quantifier Elimination Using Geometric Invariance"],"prefix":"10.1145","author":[{"given":"Hidenao","family":"Iwane","sequence":"first","affiliation":[{"name":"Fujitsu Laboratories Ltd & National Institute of Informatics, Kawasaki, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hirokazu","family":"Anai","sequence":"additional","affiliation":[{"name":"Fujitsu Laboratories Ltd & Kyushu University, Kawasaki, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,7,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2627488"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1197095"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39320-4_2"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2000.0394"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.012"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837953"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Bob F. Caviness and Jeremy R. Johnson (Eds.). 1998. Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts and Monographs in Symbolic Computation). Springer. x3--211--82794--3","DOI":"10.1007\/978-3-7091-9459-1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80004-X"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0123"},{"key":"e_1_3_2_1_10_1","series-title":"Lecture Notes in Computer Science","first-page":"92","volume-title":"Intelligent Computer Mathematics","author":"Huang Zongyan","unstructured":"Zongyan Huang, Matthew England, David Wilson, James H. Davenport, Lawrence C. Paulson, and James Bridge. 2014. Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. In Intelligent Computer Mathematics. Lecture Notes in Computer Science, Vol. 8543. Springer, pages 92--107."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02297-0_17"},{"key":"e_1_3_2_1_12_1","first-page":"75","volume-title":"Proceedings of the 10th International Workshop on Automated Deduction in Geometry.","author":"Iwane Hidenao","year":"2014","unstructured":"Hidenao Iwane, Takuya Matsuzaki, Noriko H. Arai, and Hirokazu Anai. 2014a. Automated Natural Language Geometry Math Problem Solving by Real Quantifier Elimination. In Proceedings of the 10th International Workshop on Automated Deduction in Geometry. pages 75--84."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings (Lecture Notes in Computer Science), Hoon Hong and Chee Yap (Eds.)","volume":"8592","author":"Iwane Hidenao","year":"2014","unstructured":"Hidenao Iwane, Hitoshi Yanami, and Hirokazu Anai. 2014b. SyNRAC: A Toolbox for Solving Real Algebraic Constraints. In Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5--9, 2014. Proceedings (Lecture Notes in Computer Science), Hoon Hong and Chee Yap (Eds.), Vol. 8592. Springer, pages 518--522. x978--3--662--44198--5"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31365-3_27"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-32859-1_21"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2893873.2894044"},{"key":"e_1_3_2_1_17_1","first-page":"242","volume-title":"SeeciteNCAV-JOH","author":"McCallum Scott","year":"1998","unstructured":"Scott McCallum. 1998. An improved projection operator for cylindrical algebraic decomposition. SeeciteNCAV-JOH, pages 242--268. x3--211--82794--3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.08.017"},{"volume-title":"A decision method for elementary algebra and geometry","author":"Tarski Alfred","key":"e_1_3_2_1_19_1","unstructured":"Alfred Tarski. 1951. A decision method for elementary algebra and geometry. University of California Press."}],"event":{"name":"ISSAC '17: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Kaiserslautern Germany","acronym":"ISSAC '17"},"container-title":["Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3087604.3087627","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3087604.3087627","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:14Z","timestamp":1750217414000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3087604.3087627"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,23]]},"references-count":19,"alternative-id":["10.1145\/3087604.3087627","10.1145\/3087604"],"URL":"https:\/\/doi.org\/10.1145\/3087604.3087627","relation":{},"subject":[],"published":{"date-parts":[[2017,7,23]]},"assertion":[{"value":"2017-07-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}