{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T02:10:55Z","timestamp":1684030255730},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2007,9,6]],"date-time":"2007-09-06T00:00:00Z","timestamp":1189036800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[2007,11,16]]},"DOI":"10.1007\/s00200-007-0057-6","type":"journal-article","created":{"date-parts":[[2007,9,5]],"date-time":"2007-09-05T17:29:30Z","timestamp":1189013370000},"page":"575-582","source":"Crossref","is-referenced-by-count":0,"title":["Quantifier elimination supported proofs in the numerical treatment of fluid flows"],"prefix":"10.1007","volume":"18","author":[{"given":"Richard","family":"Liska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"V\u00e1chal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,9,6]]},"reference":[{"key":"57_CR1","doi-asserted-by":"crossref","unstructured":"Brown, C.W.: QEPCAD B\u2014a program for computing with semi-algebraic sets using CADs. ACM SIGSAM Bulletin 37(4), 97\u2013108 (2003). http:\/\/www.cs.usna.edu\/~qepcad\/B\/QEPCAD.html","DOI":"10.1145\/968708.968710"},{"key":"57_CR2","unstructured":"Brown, C.W.: SLFQ\u2014simplifying large formulas with QEPCAD B (2005). http:\/\/www.cs.usna.edu\/~qepcad\/SLFQ\/Home.html"},{"key":"57_CR3","doi-asserted-by":"crossref","unstructured":"Collins, G.E.: Quantifier elimination in the elementary theory of real closed fields by cylindrical algebraic decomposition, vol. 33. In: Lecture Notes in Computer Science, pp. 134\u2013183. Springer, Berlin (1975)","DOI":"10.1007\/3-540-07407-4_17"},{"issue":"3","key":"57_CR4","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G.E. Collins","year":"1991","unstructured":"Collins G.E. and Hong H. (1991). Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comp. 12(3): 299\u2013328","journal-title":"J. Symb. Comp."},{"key":"57_CR5","unstructured":"Dolzmann, A., Seidl, A., Sturm, T.: REDLOG User Manual edn 3.0 (2004). http:\/\/www.fmi.uni-passau.de\/~seidl\/publications\/DSS04b.pdf"},{"key":"57_CR6","unstructured":"Hong, H.: Improvements in cad-based quantifier elimination. Ph.D. thesis, The Ohio State University (1990)"},{"issue":"2","key":"57_CR7","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1006\/jsco.1997.0121","volume":"24","author":"H. Hong","year":"1997","unstructured":"Hong H., Liska R. and Steinberg S. (1997). Testing stability by quantifier elimination. J. Symbolic Comput. 24(2): 161\u2013187","journal-title":"J. Symbolic Comput."},{"key":"57_CR8","unstructured":"Ratschan, S.: Approximate quantified constraint solving (AQCS) (2000). http:\/\/www.mpi-sb.mpg.de\/~ratschan\/AQC . Software Package"},{"key":"57_CR9","doi-asserted-by":"crossref","unstructured":"Ratschan, S.: Continuous first-order constraint satisfaction. In: Proceedings of artificial intelligence and symbolic computation, LNCS. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45470-5_18"},{"key":"57_CR10","unstructured":"Sladek, I.: Mathematical modelling and numerical solution of some 2d- and 3d-cases of atmoshperic boundary layer flow. Ph.D. thesis, Czech Technical University in Prague (2005)"},{"key":"57_CR11","volume-title":"Finite Difference Schemes and Partial Differential Equations","author":"J. Strikwerda","year":"1989","unstructured":"Strikwerda J. (1989). Finite Difference Schemes and Partial Differential Equations. Wadsworth, Belmont"},{"issue":"3","key":"57_CR12","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1006\/jsco.1999.0327","volume":"29","author":"A. Strzebonski","year":"2000","unstructured":"Strzebonski A. (2000). Solving systems of strict polynomial inequalities. J. Symbolic Comput. 29(3): 471\u2013480","journal-title":"J. Symbolic Comput."},{"key":"57_CR13","unstructured":"Swanson, R.C., Turkel, E.: Multistage schemes with multigrid for euler and Navier\u2013Stokes equations. Tech. Rep. 3631 NASA"},{"issue":"2","key":"57_CR14","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/s002000050055","volume":"8","author":"V. Weispfenning","year":"1997","unstructured":"Weispfenning V. (1997). Quantifier elimination for real algebra\u2014the quadratic case and beyond. Appl. Algebra Eng. Commun. Comput. 8(2): 85\u2013101","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"57_CR15","unstructured":"Yanami, H., Anai, H.: Development of SyNRAC. In: Lecture Notes in Computer Science, 3516, pp. 602\u2013610. Springer, Berlin (2005)"}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-007-0057-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00200-007-0057-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-007-0057-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T01:39:43Z","timestamp":1684028383000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00200-007-0057-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,6]]},"references-count":15,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2007,11,16]]}},"alternative-id":["57"],"URL":"https:\/\/doi.org\/10.1007\/s00200-007-0057-6","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,9,6]]}}}