{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:00:52Z","timestamp":1760061652456},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401940"},{"type":"electronic","value":"9783540448600"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44860-8_86","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T08:12:47Z","timestamp":1187251967000},"page":"828-837","source":"Crossref","is-referenced-by-count":11,"title":["SyNRAC: A Maple-Package for Solving Real Algebraic Constraints"],"prefix":"10.1007","author":[{"given":"Hirokazu","family":"Anai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hitoshi","family":"Yanami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"86_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 2000. (2000) 1312\u20131316","DOI":"10.1109\/ACC.2000.876713"},{"key":"86_CR2","doi-asserted-by":"crossref","unstructured":"Anai, H., Hara, S.: Linear programming approach to robust controller design by a quantifier elimination. In: Proceedings of SICE Annual Conference 2002 (Osaka, Japan). (2002) 863\u2013869","DOI":"10.1109\/SICE.2002.1195487"},{"key":"86_CR3","doi-asserted-by":"crossref","unstructured":"Anai, H., Hara, S.: A parameter space approach for fixed-order robust controller synthesis by symbolic computation. In: Proceedings of IFAC World Congress on Automatic Control b\u201902. (2002)","DOI":"10.3182\/20020721-6-ES-1901.00394"},{"key":"86_CR4","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez-Vega, L.: A combinatorial algorithm solving some quantifier elimination problems. In Caviness, B., Johnson, J., eds.: Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and monographs in symbolic computation. Springer-Verlag (1998) 365\u2013375","DOI":"10.1007\/978-3-7091-9459-1_19"},{"key":"86_CR5","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1006\/jsco.1997.0123","volume":"24","author":"A. Dolzmann","year":"1997","unstructured":"Dolzmann, A., Sturm, T.: Simplification of quantifier-free formulae over ordered fields. Journal of Symbolic Computation 24 (1997) 209\u2013231","journal-title":"Journal of Symbolic Computation"},{"key":"86_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Automata Theory and Formal Languages. 2nd GI Conference","author":"G.E. Collins","year":"1975","unstructured":"Collins, G.E.: Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition. In Brakhage, H., ed.: Automata Theory and Formal Languages. 2nd GI Conference. Volume 33 of Lecture Notes in Computer Science., Gesellschaft f\u00fcr Informatik, Springer-Verlag, Berlin, Heidelberg, New York (1975) 134\u2013183"},{"key":"86_CR7","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G.E. Collins","year":"1991","unstructured":"Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation 12 (1991) 299\u2013328","journal-title":"Journal of Symbolic Computation"},{"key":"86_CR8","first-page":"136","volume-title":"Proceedings of ISSAC\u201989","author":"L. Gonz\u00e1lez-Vega","year":"1989","unstructured":"Gonz\u00e1lez-Vega, L., Lombardi, H., Recio, T., Roy:, M.F.: Sturm-habicht sequence. In: Proceedings of ISSAC\u201989, Portland, ACM Press (1989) 136\u2013146"},{"key":"86_CR9","series-title":"Texts and Monographs in Symbolic Computation","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1007\/978-3-7091-9459-1_14","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","author":"L. Gonz\u00e1lez-Vega","year":"1998","unstructured":"Gonz\u00e1lez-Vega, L., Recio, T., Lombardi, H., Roy, M.F.: Sturm-habicht sequences determinants and real roots of univariate polynomials. In Caviness, B., Johnson, J., eds.: Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation. Springer, Wien, New York (1998) 300\u2013316"},{"key":"86_CR10","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 5 (1988) 3\u201327","journal-title":"Journal of Symbolic Computation"},{"key":"86_CR11","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1093\/comjnl\/36.5.450","volume":"36","author":"R. Loos","year":"1993","unstructured":"Loos, R., Weispfenning, V.: Applying linear quantifier elimination. The Computer Journal 36 (1993) 450\u2013462 Special issue on computational quantifier elimination.","journal-title":"The Computer Journal"},{"key":"86_CR12","unstructured":"Abdallah, C., Dorato, P., Yang, W., Liska, R., Steinberg, S.: Application of quantifier elimination theory to control system design. In: Proceedings of 4th IEEE Mediteranean Symposium on Control and Automation. Maleme, Crete. (1996) 340\u2013345"},{"key":"86_CR13","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1006\/jsco.1997.0120","volume":"24","author":"P. Dorato","year":"1997","unstructured":"Dorato, P., W. Yang, C. Abdallah: Robust multi-objective feedback design by quantifier elimination. J. Symb. Comp. 24 (1997) 153\u2013159","journal-title":"J. Symb. Comp."},{"key":"86_CR14","volume-title":"Constructive Methods for Inequality Constraints in Control","author":"M. Jirstrand","year":"1998","unstructured":"Jirstrand, M.: Constructive Methods for Inequality Constraints in Control. PhD thesis, Link\u00f6ping University, Sweden (1998)"},{"key":"86_CR15","doi-asserted-by":"crossref","unstructured":"Anai, H.: On solving semidefinite programming by quantifier elimination. In Proc. of American Control Conference, Philadelphia (1998) 2814\u20132818","DOI":"10.1109\/ACC.1998.688368"},{"key":"86_CR16","unstructured":"Hara, S., Kimura, T., Kondo, R.: H\u221e control system design by a parameter space approach. In: Proceedings of MTNS-91, Kobe, Japan (1991) 287\u2013292"},{"key":"86_CR17","unstructured":"Kimura, T., Hara, S.: A robust control system design by a parameter space approach based on sign definition condition. In: Proceedings of KACC-91, Soul, Korea (1991) 1533\u20131538"},{"key":"86_CR18","doi-asserted-by":"crossref","first-page":"714","DOI":"10.9746\/sicetr1965.27.714","volume":"27","author":"R. Kondo","year":"1991","unstructured":"Kondo, R., Hara, S., Kaneko, T.: Parameter space design for H \u221e control (in japanese). Trans. of SICE 27 (1991) 714\u2013716","journal-title":"Trans. of SICE"},{"key":"86_CR19","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0016-0032(71)90014-7","volume":"291","author":"D.D. \u0160iljak","year":"1971","unstructured":"\u0160iljak, D.D.: New algebraic criterion for positive realness. Journal of the Franklin Institute 291 (1971) 109\u2013120","journal-title":"Journal of the Franklin Institute"},{"key":"86_CR20","doi-asserted-by":"crossref","unstructured":"Keel, L., Bhattacharyya, S.: Robust control under parametric uncertainty. part II: design. In: SYMBOLIC METHODS in control system analysis and design. Number 56 in IEE Control Engineering Series, IEE (1999) 203\u2013226","DOI":"10.1049\/PBCE056E_ch8"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2014 ICCS 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44860-8_86","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T17:54:24Z","timestamp":1550771664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44860-8_86"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401940","9783540448600"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-44860-8_86","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}