{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:36:06Z","timestamp":1742949366211,"version":"3.40.3"},"publisher-location":"Cham","reference-count":6,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319328584"},{"type":"electronic","value":"9783319328591"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-32859-1_20","type":"book-chapter","created":{"date-parts":[[2016,4,15]],"date-time":"2016-04-15T11:12:06Z","timestamp":1460718726000},"page":"231-235","source":"Crossref","is-referenced-by-count":3,"title":["Improving a CGS-QE Algorithm"],"prefix":"10.1007","author":[{"given":"Ryoya","family":"Fukasaku","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hidenao","family":"Iwane","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yosuke","family":"Sato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,16]]},"reference":[{"unstructured":"Becker, E., W\u00f6rmann, T.: On the trace formula for quadratic forms. Recent advances in real algebraic geometry and quadratic forms (Berkeley, CA, 1990\/1991","key":"#cr-split#-20_CR1.1"},{"unstructured":"San Francisco, CA, 1991), pp. 271-291, Contemp. Math., 155, Amer. Math. Soc., Providence, RI (1994)","key":"#cr-split#-20_CR1.2"},{"doi-asserted-by":"crossref","unstructured":"Fukasaku, R., Iwane, H., Sato, Y.: Real quantifier elimination by computation of comprehensive gr\u00f6bner systems. In: Proceedings of International Symposium on Symbolic and Algebraic Computation, pp. 173\u2013180. ACM (2015)","key":"20_CR2","DOI":"10.1145\/2755996.2756646"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-319-02297-0_17","volume-title":"Computer Algebra in Scientific Computing","author":"H Iwane","year":"2013","unstructured":"Iwane, H., Higuchi, H., Anai, H.: An effective implementation of a special quantifier elimination for a sign definite condition by logical formula simplification. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2013. LNCS, vol. 8136, pp. 194\u2013208. Springer, Heidelberg (2013)"},{"doi-asserted-by":"crossref","unstructured":"Pedersen, P., Roy, M.-F., Szpirglas, A.: Counting real zeroes in the multivariate case. In: Proceedings of the Effective Methods in Algebraic Geometry, pp. 203\u2013224. Springer (1993)","key":"20_CR4","DOI":"10.1007\/978-1-4612-2752-6_15"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/978-3-7091-9459-1_20","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","author":"V Weispfenning","year":"1998","unstructured":"Weispfenning, V.: A new approach to quantifier elimination for real algebra. In: Caviness, B.F., Johnson, J.R. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 376\u2013392. Springer, Vienna (1998)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Aspects of Computer and Information Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32859-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T20:43:17Z","timestamp":1559421797000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32859-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319328584","9783319328591"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32859-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}