{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T02:45:23Z","timestamp":1725936323426},"publisher-location":"Cham","reference-count":6,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319724522"},{"type":"electronic","value":"9783319724539"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-72453-9_18","type":"book-chapter","created":{"date-parts":[[2017,12,20]],"date-time":"2017-12-20T04:35:54Z","timestamp":1513744554000},"page":"258-263","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On Real Roots Counting for Non-radical Parametric Ideals"],"prefix":"10.1007","author":[{"given":"Ryoya","family":"Fukasaku","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yosuke","family":"Sato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,12,21]]},"reference":[{"key":"18_CR1","unstructured":"http:\/\/www.rs.tus.ac.jp\/fukasaku\/software\/CGSQE-20160509\/"},{"key":"18_CR2","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-Press (2015)","DOI":"10.1145\/2755996.2756646"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-319-42432-3_21","volume-title":"Mathematical Software \u2013 ICMS 2016","author":"R Fukasaku","year":"2016","unstructured":"Fukasaku, R., Iwane, H., Sato, Y.: On the implementation of CGS real QE. In: Greuel, G.-M., Koch, T., Paule, P., Sommese, A. (eds.) ICMS 2016. LNCS, vol. 9725, pp. 165\u2013172. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-42432-3_21"},{"issue":"3","key":"18_CR4","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/3015306.3015313","volume":"50","author":"R Fukasaku","year":"2016","unstructured":"Fukasaku, R., Iwane, H., Sato, Y.: CGSQE\/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gr\u00f6bner systems. ACM Comm. Comput. Algebra 50(3), 101\u2013104 (2016)","journal-title":"ACM Comm. Comput. Algebra"},{"key":"18_CR5","series-title":"Progress in Mathematics","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-1-4612-2752-6_15","volume-title":"Computational Algebraic Geometry","author":"P Pedersen","year":"1993","unstructured":"Pedersen, P., Roy, M.-F., Szpirglas, A.: Counting real zeros in the multivariate case. In: Eyssette, F., Galligo, A. (eds.) Computational Algebraic Geometry. PM, vol. 109, pp. 203\u2013224. Birkh\u00e4user Boston, Boston (1993). \nhttps:\/\/doi.org\/10.1007\/978-1-4612-2752-6_15"},{"key":"18_CR6","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). \nhttps:\/\/doi.org\/10.1007\/978-3-7091-9459-1_20"}],"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-72453-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,20]],"date-time":"2017-12-20T04:43:08Z","timestamp":1513744988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72453-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319724522","9783319724539"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72453-9_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}