{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:25:48Z","timestamp":1725575148825},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540343813"},{"type":"electronic","value":"9783540343820"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11758525_62","type":"book-chapter","created":{"date-parts":[[2006,5,11]],"date-time":"2006-05-11T11:03:32Z","timestamp":1147345412000},"page":"462-469","source":"Crossref","is-referenced-by-count":2,"title":["Development of SyNRAC"],"prefix":"10.1007","author":[{"given":"Hitoshi","family":"Yanami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hirokazu","family":"Anai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"62_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1007\/3-540-44860-8_86","volume-title":"Computational Science \u2013 ICCS 2003","author":"H. Anai","year":"2003","unstructured":"Anai, H., Yanami, H.: syNRAC: A maple-package for solving real algebraic constraints. In: Sloot, P.M.A., et al. (eds.) ICCS 2003. LNCS, vol.\u00a02657, pp. 828\u2013837. Springer, Heidelberg (2003)"},{"key":"62_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-540-25944-2_37","volume-title":"Computational Science - ICCS 2004","author":"H. Yanami","year":"2004","unstructured":"Yanami, H., Anai, H.: Development of syNRAC\u2014formula description and new functions. In: Bubak, M., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2004. LNCS, vol.\u00a03039, pp. 286\u2013294. Springer, Heidelberg (2004)"},{"key":"62_CR3","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":"62_CR4","first-page":"450","volume":"36","author":"R. Loos","year":"1993","unstructured":"Loos, R., Weispfenning, V.: Applying linear quantifier elimination. The Computer Journal Special issue on computational quantifier elimination\u00a036, 450\u2013462 (1993)","journal-title":"The Computer Journal Special issue on computational quantifier elimination"},{"key":"62_CR5","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s002000050055","volume":"8","author":"V. Weispfenning","year":"1997","unstructured":"Weispfenning, V.: Quantifier elimination for real algebra\u2014the quadratic case and beyond. Applicable Algebra in Engineering Communication and Computing\u00a08, 85\u2013101 (1997)","journal-title":"Applicable Algebra in Engineering Communication and Computing"},{"key":"62_CR6","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1145\/164081.164140","volume-title":"Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 1993)","author":"H. Hong","year":"1993","unstructured":"Hong, H.: Quantifier elimination for formulas constrained by quadratic equations. In: Bronstein, M. (ed.) Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 1993), Kiev, Ukraine, pp. 264\u20132747. ACM Press, New York (1993)"},{"key":"62_CR7","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/978-3-7091-9459-1_19","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation","author":"L. Gonz\u00e1lez-Vega","year":"1998","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, pp. 365\u2013375. Springer, New York (1998)"},{"key":"62_CR8","unstructured":"Weispfenning, V.: Applying quantifier elimination to problems in simulation and optimization. Technical Report MIP-9607, FMI, Universit\u00e1t Passau, D-94030 Passau, Germany, To appear in the Journal of Symbolic Computation (1996)"},{"key":"62_CR9","unstructured":"Sturm, T., Weispfenning, V.: Rounding and blending of solids by a real elimination method. In: Sydow, A. (ed.) Proceedings of the 15th IMACS World Congress on Scientific Computation, Modelling, and Applied Mathematics (IMACS 1997) IMACS, vol.\u00a02, pp. 727\u2013732. Wissenschaft & Technik Verlag, Berlin (1997)"},{"key":"62_CR10","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)"},{"key":"62_CR11","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez-Vega, L.: Applying quantifier elimination to the Birkhoff interpolation problem. Journal of Symbolic Computation (1996) (to appear)","DOI":"10.1006\/jsco.1996.0042"},{"key":"62_CR12","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, pp. 1312\u20131316 (2000)","DOI":"10.1109\/ACC.2000.876713"},{"key":"62_CR13","doi-asserted-by":"crossref","unstructured":"Anai, H., Yanami, H., Sakabe, K., Hara, S.: Fixed-structure robust controller synthesis based on symbolic-numeric computation: design algorithms with a cacsd toolbox (invited paper). In: Proceedings of CCA\/ISIC\/CACSD 2004, Taipei, Taiwan, pp. 1540\u20131545 (2004)","DOI":"10.1109\/CCA.2004.1387594"},{"key":"62_CR14","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/978-3-7091-9459-1_4","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation","author":"G.E. Collins","year":"1998","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Caviness, B., Johnson, J. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation, pp. 85\u2013121. Springer, New York (1998)"},{"key":"62_CR15","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/978-3-7091-9459-1_8","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation","author":"H. Hong","year":"1998","unstructured":"Hong, H.: An improvement of the projection operator in cylindrical algebraic decomposition. In: Caviness, B., Johnson, J. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation, pp. 166\u2013173. Springer, New York (1998)"},{"key":"62_CR16","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/978-3-7091-9459-1_12","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation","author":"S. McCallum","year":"1998","unstructured":"McCallum, S.: An improved projection operation for cylindrical algebraic decomposition. In: Caviness, B., Johnson, J. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation, pp. 242\u2013268. Springer, New York (1998)"},{"key":"62_CR17","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. Journal of Symbolic Computation\u00a032, 447\u2013465 (2001)","journal-title":"Journal of Symbolic Computation"},{"key":"62_CR18","unstructured":"Anai, H., Yokoyama, K.: Numerical cylindrical algebraic decomposition with certificated reconstruction. In: Proceedings of 11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Fukuoka, Japan, vol.\u00a031 (2004)"},{"key":"62_CR19","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1006\/jsco.1994.1057","volume":"18","author":"D. Duval","year":"1994","unstructured":"Duval, D.: Algebraic numbers: an example of dynamic evaluation. Journal of Symbolic Computation\u00a018, 429\u2013445 (1994)","journal-title":"Journal of Symbolic Computation"},{"issue":"4-6","key":"62_CR20","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1016\/S0378-4754(96)00032-8","volume":"42","author":"D. Duval","year":"1996","unstructured":"Duval, D., Gonz\u00e1lez-Vega, L.: Dynamic evaluation and real closure. Math. Comput. Simulation\u00a042(4-6), 551\u2013560 (1996)","journal-title":"Math. Comput. Simulation"},{"key":"62_CR21","first-page":"571","volume-title":"Selected papers presented at the international IMACS symposium on Symbolic computation, new trends and developments","author":"H. Hong","year":"1996","unstructured":"Hong, H.: An efficient method for analyzing the topology of plane real algebraic curves. In: Selected papers presented at the international IMACS symposium on Symbolic computation, new trends and developments, pp. 571\u2013582. Elsevier Science Publishers B. V., \/Springer, Amsterdam (1996)"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11758525_62","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T15:23:02Z","timestamp":1553354582000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11758525_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540343813","9783540343820"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11758525_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}