{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:47:58Z","timestamp":1725860878522},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319424316"},{"type":"electronic","value":"9783319424323"}],"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-42432-3_21","type":"book-chapter","created":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T11:12:09Z","timestamp":1467717129000},"page":"165-172","source":"Crossref","is-referenced-by-count":3,"title":["On the Implementation of CGS Real QE"],"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,7,6]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Becker, E., W\u00f6rmann, T.: On the trace formula for quadratic forms. In: Recent Advances in Real Algebraic Geometry and Quadratic Forms, Berkeley, CA, 1990\/1991; San Francisco, CA, 1991, pp. 271\u2013291. Contemporary Mathematics, vol. 155, American Mathematical Society Providence, RI (1994)","DOI":"10.1090\/conm\/155\/01385"},{"key":"21_CR2","unstructured":"The first prototype CGS real QE program released (2015). http:\/\/www.mi.kagu.tus.ac.jp\/~fukasaku\/issac2015"},{"key":"21_CR3","unstructured":"The latest prototype CGS real QE program released (2016). http:\/\/www.mi.kagu.tus.ac.jp\/~fukasaku\/CGSQE2016"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Chen, C., Maza, M.M.: Quantifier elimination by cylindrical algebraic decomposition based on regular chains. In: Proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), pp. 91\u201398. ACM (2014)","DOI":"10.1145\/2608628.2608666"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Automata Theory and Formal Languages","author":"GE Collins","year":"1975","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Brakhage, H. (ed.) Automata Theory and Formal Languages. LNCS, vol. 33, pp. 134\u2013183. Springer, Heidelberg (1975)"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/978-3-540-30210-0_8","volume-title":"Artificial Intelligence and Symbolic Computation","author":"A Dolzmann","year":"2004","unstructured":"Dolzmann, A., Gilch, L.A.: Generic hermitian quantifier elimination. In: Buchberger, B., Campbell, J. (eds.) AISC 2004. LNCS (LNAI), vol. 3249, pp. 80\u201393. Springer, Heidelberg (2004)"},{"key":"21_CR7","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 (ISSAC 2015), pp. 173\u2013180. ACM (2015)","DOI":"10.1145\/2755996.2756646"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-319-32859-1_20","volume-title":"Mathematical Aspects of Computer and Information Sciences","author":"R Fukasaku","year":"2016","unstructured":"Fukasaku, R., Iwane, H., Sato, Y.: Improving a CGS-QE algorithm. In: Kotsireas, I.S., Rump, S.M., Yap, C.K. (eds.) MACIS 2015. LNCS, vol. 9582, pp. 231\u2013235. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-32859-1_20"},{"key":"21_CR9","unstructured":"Mathematica Tutorial (RealPolynomialSystems). http:\/\/reference.wolfram.com\/language\/tutorial\/RealPolynomialSystems.html"},{"key":"21_CR10","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 (1993)","DOI":"10.1007\/978-1-4612-2752-6_15"},{"key":"21_CR11","unstructured":"QEPCAD-Quantifier elimination by partial cylindrical algebraic decomposition. http:\/\/www.usna.edu\/CS\/qepcadweb\/B\/QEPCAD.html"},{"key":"21_CR12","unstructured":"Redlog: an integral part of the interactive computer algebra system reduce. http:\/\/www.redlog.eu\/"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Suzuki, A., Sato, Y.: A simple algorithm to compute comprehensive Gr\u00f6bner bases using Gr\u00f6bner bases. In: Proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC 2006), pp. 326\u2013331. ACM (2006)","DOI":"10.1145\/1145768.1145821"},{"key":"21_CR14","unstructured":"SyNRAC: a software package for quantifier elimination. http:\/\/www.fujitsu.com\/jp\/group\/labs\/en\/resources\/tech\/freeware\/synrac\/"},{"key":"21_CR15","doi-asserted-by":"crossref","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 Software \u2013 ICMS 2016"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42432-3_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T14:47:14Z","timestamp":1568126834000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42432-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319424316","9783319424323"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42432-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}