{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:54:40Z","timestamp":1725490480484},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540751861"},{"type":"electronic","value":"9783540751878"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75187-8_32","type":"book-chapter","created":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T11:13:38Z","timestamp":1188645218000},"page":"402-422","source":"Crossref","is-referenced-by-count":0,"title":["Robust Stability for Parametric Linear ODEs"],"prefix":"10.1007","author":[{"given":"Volker","family":"Weispfenning","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Ackermann, J.: Robust Control. Communication and Control Engineering\u00a0(1993)","DOI":"10.1007\/978-1-4471-3365-0"},{"key":"32_CR2","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 ACC 2000 (to appear)","DOI":"10.1109\/ACC.2000.876713"},{"key":"32_CR3","volume-title":"Applied Mathematical Sciences","author":"M. Braun","year":"1983","unstructured":"Braun, M.: Differential equations and their applications. In: Applied Mathematical Sciences, 3rd edn., Springer, Heidelberg (1983)","edition":"3"},{"issue":"5","key":"32_CR4","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1006\/jsco.2001.0463","volume":"32","author":"C.W. Brown","year":"2001","unstructured":"Brown, C.W.: Improved projection for cylindrical algebraic decomposition. J. Symb. Computation\u00a032(5), 447\u2013465 (2001)","journal-title":"J. Symb. Computation"},{"issue":"1\u20132","key":"32_CR5","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0747-7171(88)80004-X","volume":"5","author":"J.H. Davenport","year":"1988","unstructured":"Davenport, J.H., Heintz, J.: Real quantifier elimination is doubly exponential. Journal of Symbolic Computation\u00a05(1\u20132), 29\u201335 (1988)","journal-title":"Journal of Symbolic Computation"},{"key":"32_CR6","series-title":"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.A. (eds.) AISC 2004. LNCS (LNAI), vol.\u00a03249, pp. 80\u201392. Springer, Heidelberg (2004)"},{"issue":"1","key":"32_CR7","first-page":"23","volume":"10","author":"A. Dolzmann","year":"2003","unstructured":"Dolzmann, A., Seidl, A.: Redlog \u2013 first-order logic for the masses. Journal of Japan Society for Symbolic and Algebraic Computation\u00a010(1), 23\u201333 (2003)","journal-title":"Journal of Japan Society for Symbolic and Algebraic Computation"},{"key":"32_CR8","first-page":"221","volume-title":"Algorithmic Algebra and Number Theory","author":"A. Dolzmann","year":"1998","unstructured":"Dolzmann, A., Sturm, T., Weispfenning, V.: Real quantifier elimination in practice. In: Matzat, B.H., Greuel, G.-M., Hiss, G. (eds.) Algorithmic Algebra and Number Theory, pp. 221\u2013247. Springer, Berlin (1998)"},{"issue":"2","key":"32_CR9","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1006\/jsco.1997.0120","volume":"24","author":"P. Dorato","year":"1997","unstructured":"Dorato, P., Yang, W., Abdallah, C.: Robust multi-object feedback design by quantifier elimination. J. Symb. Computation\u00a024(2), 153\u2013159 (1997)","journal-title":"J. Symb. Computation"},{"issue":"2","key":"32_CR10","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1006\/jsco.1997.0121","volume":"24","author":"R. Hong","year":"1997","unstructured":"Hong, R., Liska, H., Steinberg, S.: Testing stability by quantifier elimination. J. Symb. Comp.\u00a024(2), 161\u2013187 (1997)","journal-title":"J. Symb. Comp."},{"key":"32_CR11","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1093\/comjnl\/36.5.497","volume":"36","author":"R. Liska","year":"1993","unstructured":"Liska, R., Steinberg, S.: Applying quantifier elimination to stability analysis of difference schemes. The Computer Journal\u00a036, 497\u2013509 (1993)","journal-title":"The Computer Journal"},{"key":"32_CR12","unstructured":"Seidl, A.: Cylindrical Decomposition under Application-Oriented Paradigms. PhD thesis, FMI, Univ. Passau (2006)"},{"key":"32_CR13","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1145\/860854.860903","volume-title":"Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation (ISSAC 2003)","author":"A. Seidl","year":"2003","unstructured":"Seidl, A., Sturm, T.: A generic projection operator for partial cylindrical algebraic decomposition. In: Sendra, R. (ed.) Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation (ISSAC 2003), Philadelphia, Pennsylvania, pp. 240\u2013247. ACM Press, New York (2003)"},{"issue":"1\u20132","key":"32_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(1\u20132), 3\u201327 (1988)","journal-title":"Journal of Symbolic Computation"},{"key":"32_CR15","unstructured":"Weispfenning, V.: Parametric linear and quadratic optimization by elimination. Technical Report MIP-9404, FMI, Universit\u00e4t Passau, D-94030 Passau, Germany (April 1994)"},{"key":"32_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/11555964_40","volume-title":"Computer Algebra in Scientific Computing","author":"V. Weispfenning","year":"2005","unstructured":"Weispfenning, V.: Solving linear differential problems with parameters. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2005. LNCS, vol.\u00a03718, pp. 469\u2013488. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75187-8_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:54:49Z","timestamp":1619506489000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75187-8_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540751861","9783540751878"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75187-8_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}