{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T22:01:24Z","timestamp":1761948084755,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6,24]]},"DOI":"10.1145\/2755996.2756646","type":"proceedings-article","created":{"date-parts":[[2015,6,25]],"date-time":"2015-06-25T14:43:22Z","timestamp":1435243402000},"page":"173-180","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Real Quantifier Elimination by Computation of Comprehensive Gr\u00f6bner Systems"],"prefix":"10.1145","author":[{"given":"Ryoya","family":"Fukasaku","sequence":"first","affiliation":[{"name":"Tokyo University of Science, Tokyo, Japan"}]},{"given":"Hidenao","family":"Iwane","sequence":"additional","affiliation":[{"name":"National Institute of Informatics \/ Fujitsu Laboratories Ltd, Tokyo, Japan"}]},{"given":"Yosuke","family":"Sato","sequence":"additional","affiliation":[{"name":"Tokyo University of Science, Tokyo, Japan"}]}],"member":"320","published-online":{"date-parts":[[2015,6,24]]},"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.1006\/jsco.2002.0563"},{"key":"e_1_3_2_1_3_1","first-page":"271","volume-title":"CA, 1990\/1991; San Francisco, CA, 1991","author":"Becker E.","year":"1994","unstructured":"Becker, E. and W\u00f6rmann, T.:On the trace formula for quadratic forms. Recent advances in real algebraic geometry and quadratic forms (Berkeley, CA, 1990\/1991; San Francisco, CA, 1991), pp. 271--291, Contemp. Math., 155, Amer. Math. Soc., Providence, RI, 1994."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608666"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/646589.697342"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30210-0_8"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-2013-02766-4"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02297-0_17"},{"key":"e_1_3_2_1_10_1","first-page":"75","volume-title":"Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014","author":"Iwane H.","year":"2014","unstructured":"Iwane, H., Matsuzaki, T., Arai, N., Anai, H.: Automated Natural Language Geometry Math Problem Solving by Real Quantifier Elimination. Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014), pp. 75--84, 2014."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44199-2_78"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837946"},{"key":"e_1_3_2_1_13_1","first-page":"39","article-title":"Improving Suzuki-Sato's CGS Algorithm by Using Stability of Gr\u00f6bner Bases and Basic Manipulations for Efficient Implementation.","volume":"1","author":"Kurata Y.","year":"2011","unstructured":"Kurata, Y.: Improving Suzuki-Sato's CGS Algorithm by Using Stability of Gr\u00f6bner Bases and Basic Manipulations for Efficient Implementation.Communications of the Japan Society for Symbolic and Algebraic Computation, Vol. 1, pp. 39--66, JSSAC, 2011.","journal-title":"Communications of the Japan Society for Symbolic and Algebraic Computation"},{"key":"e_1_3_2_1_14_1","first-page":"1098","volume-title":"The Most uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving,Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence","author":"Matsuzaki T.","year":"2014","unstructured":"Matsuzaki, T., Iwane, H., Anai, H. and Arai, N.H.: The Most uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving,Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, pp. 1098--1104, 2014."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/309831.309892"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/384101.384132"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1277548.1277589"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32973-9_21"},{"key":"e_1_3_2_1_19_1","first-page":"203","volume-title":"Proceedings of the Effective Methods in Algebraic Geometry","author":"Pedersen P.","year":"1993","unstructured":"Pedersen, P., Roy, M.-F., and Szpirglas, A.: Counting real zeroes in the multivariate case. Proceedings of the Effective Methods in Algebraic Geometry, pp. 203--224, Springer, 1993."},{"key":"e_1_3_2_1_20_1","unstructured":"RAGLIB: A library for real solving polynomial systems of equations and inequalities. http:\/\/www-salsa.lip6.fr\/~safey\/RAGLib\/"},{"key":"e_1_3_2_1_21_1","unstructured":"Redlog: an integral part of the interactive computer algebra system Reduce. http:\/\/www.redlog.eu\/"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145821"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576745"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0327"},{"key":"e_1_3_2_1_25_1","unstructured":"SyNRAC: a software package for quantifier elimination. http:\/\/jp.fujitsu.com\/group\/labs\/en\/techinfo\/freeware\/synrac\/"},{"key":"e_1_3_2_1_26_1","unstructured":"Todai Robot Project. http:\/\/21robot.org\/About\/?lang=english"},{"key":"e_1_3_2_1_27_1","first-page":"376","volume-title":"A New Approach to Quantifier Elimination for Real Algebra. Quantifier Elimination and Cylindrical Algebraic Decomposition","author":"Weispfenning V.","year":"1998","unstructured":"Weispfenning, V.: A New Approach to Quantifier Elimination for Real Algebra. Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 376--392, Springer, 1998."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31374-5_19"}],"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.2756646","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2755996.2756646","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.2756646"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,24]]},"references-count":27,"alternative-id":["10.1145\/2755996.2756646","10.1145\/2755996"],"URL":"https:\/\/doi.org\/10.1145\/2755996.2756646","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"}}]}}