{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,14]],"date-time":"2025-12-14T08:28:37Z","timestamp":1765700917238},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662441985"},{"type":"electronic","value":"9783662441992"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44199-2_78","type":"book-chapter","created":{"date-parts":[[2014,7,31]],"date-time":"2014-07-31T22:17:11Z","timestamp":1406845031000},"page":"518-522","source":"Crossref","is-referenced-by-count":8,"title":["SyNRAC: A Toolbox for Solving Real Algebraic Constraints"],"prefix":"10.1007","author":[{"given":"Hidenao","family":"Iwane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hitoshi","family":"Yanami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hirokazu","family":"Anai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"78_CR1","doi-asserted-by":"crossref","unstructured":"Anai, H., Hara, S.: Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier elimination. In: Proceedings of American Control Conference, vol.\u00a02, pp. 1312\u20131316 (2000)","DOI":"10.1109\/ACC.2000.876713"},{"issue":"11","key":"78_CR2","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1080\/00207170600726550","volume":"79","author":"H. Anai","year":"2006","unstructured":"Anai, H., Hara, S.: A parameter space approach to fixed-order robust controller synthesis by quantifier elimination. International Journal of Control\u00a079(11), 1321\u20131330 (2006)","journal-title":"International Journal of Control"},{"key":"78_CR3","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/968708.968710","volume":"37","author":"C.W. Brown","year":"2003","unstructured":"Brown, C.W.: QEPCAD B: A program for computing with semi-algebraic sets using CADs. SIGSAM Bulletin\u00a037, 97\u2013108 (2003)","journal-title":"SIGSAM Bulletin"},{"key":"78_CR4","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":"G.E. Collins","year":"1975","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Brakhage, H. (ed.) GI-Fachtagung 1975. LNCS, vol.\u00a033, pp. 134\u2013183. Springer, Heidelberg (1975)"},{"key":"78_CR5","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1006\/jsco.1997.0123","volume":"24","author":"A. Dolzmann","year":"1995","unstructured":"Dolzmann, A., Sturm, T.: Simplification of quantifier-free formulas over ordered fields. Journal of Symbolic Computation\u00a024, 209\u2013231 (1995)","journal-title":"Journal of Symbolic Computation"},{"key":"78_CR6","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/261320.261324","volume":"31","author":"A. Dolzmann","year":"1996","unstructured":"Dolzmann, A., Sturm, T.: REDLOG computer algebra meets computer logic. ACM SIGSAM Bulletin\u00a031, 2\u20139 (1996)","journal-title":"ACM SIGSAM Bulletin"},{"key":"78_CR7","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez-Vega, L., Recio, T., Lombardi, H., Roy, M.-F.: Sturm-Habicht sequences determinants and real roots of univariate polynomials, pp. 300\u2013316. Springer, Vienna (1998), softcover reprint of the original 1st ed. 1998 edition","DOI":"10.1007\/978-3-7091-9459-1_14"},{"key":"78_CR8","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.\u00a08136, pp. 194\u2013208. Springer, Heidelberg (2013)"},{"issue":"3","key":"78_CR9","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/s11786-011-0097-y","volume":"5","author":"H. Iwane","year":"2011","unstructured":"Iwane, H., Yanami, H., Anai, H.: A symbolic-numeric approach to multi-objective optimization in manufacturing design. Mathematics in Computer Science\u00a05(3), 315\u2013334 (2011)","journal-title":"Mathematics in Computer Science"},{"key":"78_CR10","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.tcs.2012.10.020","volume":"479","author":"H. Iwane","year":"2013","unstructured":"Iwane, H., Yanami, H., Anai, H., Yokoyama, K.: An effective implementation of symbolic\u2013numeric cylindrical algebraic decomposition for quantifier elimination. Theoretical Computer Science\u00a0479, 43\u201369 (2013)","journal-title":"Theoretical Computer Science"},{"key":"78_CR11","unstructured":"Matsui, Y., Iwane, H., Anai, H.: Two controller design procedures using SDP and QE for a power supply unit. In: Development of Computer Algebra Research and Collaboration with Industry. COE Lecture Note, vol.\u00a049, pp. 43\u201351 (2013)"},{"issue":"9","key":"78_CR12","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1016\/j.jsc.2006.06.004","volume":"41","author":"A.W. Strzebo\u0144ski","year":"2006","unstructured":"Strzebo\u0144ski, A.W.: Cylindrical algebraic decomposition using validated numerics. Journal of Symbolic Computation\u00a041(9), 1021\u20131038 (2006)","journal-title":"Journal of Symbolic Computation"},{"key":"78_CR13","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A decision method for elementary algebra and geometry, 2nd edn. University of California Press (1952)","DOI":"10.1525\/9780520348097"},{"key":"78_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0747-7171(88)80003-8","volume":"5","author":"V. Weispfenning","year":"1988","unstructured":"Weispfenning, V.: The complexity of linear problems in fields. Journal of Symbolic Computation\u00a05, 3\u201327 (1988)","journal-title":"Journal of Symbolic Computation"},{"key":"78_CR15","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s002000050055","volume":"8","author":"V. Weispfenning","year":"1993","unstructured":"Weispfenning, V.: Quantifier elimination for real algebra - the quadratic case and beyond. Applicable Algebra in Engineering, Communication and Computing\u00a08, 85\u2013101 (1993)","journal-title":"Applicable Algebra in Engineering, Communication and Computing"},{"key":"78_CR16","doi-asserted-by":"crossref","unstructured":"Wilson, D.J., Bradford, R.J., Davenport, J.H.: Speeding up cylindrical algebraic decomposition by Gr\u00f6bner bases. CoRR, abs\/1205.6285 (2012)","DOI":"10.1007\/978-3-642-31374-5_19"},{"key":"78_CR17","first-page":"149","volume":"1","author":"H. Yanami","year":"2009","unstructured":"Yanami, H.: Multi-objective design based on symbolic computation and its application to hard disk slider design. Journal of Math-for-Industry\u00a01, 149\u2013156 (2009)","journal-title":"Journal of Math-for-Industry"},{"issue":"5","key":"78_CR18","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1016\/j.future.2006.10.009","volume":"23","author":"H. Yanami","year":"2007","unstructured":"Yanami, H., Anai, H.: The Maple package SyNRAC and its application to robust control design. Future Generation Computer Systems\u00a023(5), 721\u2013726 (2007)","journal-title":"Future Generation Computer Systems"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44199-2_78","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,13]],"date-time":"2022-04-13T09:27:04Z","timestamp":1649842024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44199-2_78"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441985","9783662441992"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44199-2_78","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}