{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:20:34Z","timestamp":1757542834353},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1996,12,1]],"date-time":"1996-12-01T00:00:00Z","timestamp":849398400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[1996,12]]},"DOI":"10.1007\/bf02253461","type":"journal-article","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T14:46:16Z","timestamp":1132670776000},"page":"371-383","source":"Crossref","is-referenced-by-count":6,"title":["The exact region of stability for MacCormack scheme"],"prefix":"10.1007","volume":"56","author":[{"given":"H.","family":"Hong","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02253461_CR1","first-page":"134","volume-title":"Lecture Notes in Computer Science","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: Lecture Notes in Computer Science, pp. 134\u2013183. Berlin, Heidelberg, New York: Springer 1975."},{"key":"BF02253461_CR2","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G. E. Collins","year":"1991","unstructured":"Collins, G. E., Hong, H.: Partial cylindrical algrebaic decomposition for quantifier elimination. J. Symb. Comput.12, 229\u2013328 (1991).","journal-title":"J. Symb. Comput."},{"key":"BF02253461_CR3","doi-asserted-by":"crossref","unstructured":"Hong, H.: An improvement of the projection operator in cylindrical algebraic decomposition. In: International Symposium of Symbolic and Algebraic Computation ISSAC-90, pp. 261\u2013264, 1990.","DOI":"10.1145\/96877.96943"},{"key":"BF02253461_CR4","unstructured":"Hong, H.: Improvements in CAD-based quantifier elimination. PhD thesis, The Ohio State University, 1990."},{"key":"BF02253461_CR5","doi-asserted-by":"crossref","unstructured":"Hong, H.: Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination. In: International Conference on Symbolic and Algebraic Computation ISSAC-92, pp. 177\u2013188, 1992.","DOI":"10.1145\/143242.143306"},{"key":"BF02253461_CR6","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1002\/cpa.3160170311","volume":"17","author":"P. D. Lax","year":"1964","unstructured":"Lax, P. D., Wendroff, B.: Difference schemes for hyperbolic equations with higher order of accuracy. Comm. Pure Appl. Math17, 381\u2013398 (1964).","journal-title":"Comm. Pure Appl. Math"},{"key":"BF02253461_CR7","doi-asserted-by":"crossref","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. Comput. J.36, 497\u2013503 (1993).","journal-title":"Comput. J."},{"key":"BF02253461_CR8","doi-asserted-by":"crossref","unstructured":"MacCormack, R.: The effect of viscosity in hypervelocity impact cratering. AIAA Paper No. 69-354 (1969).","DOI":"10.2514\/6.1969-354"},{"key":"BF02253461_CR9","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/S0747-7171(10)80003-3","volume":"13","author":"J. Renegar","year":"1992","unstructured":"Renegar, J.: On the computational complexity and geometry of the first-order theory of the reals. J. Symb. Comput.13, 255\u2013352 (1992).","journal-title":"J. Symb. Comput."},{"key":"BF02253461_CR10","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A decision method for elementary algebra and geometry","author":"A. Tarski","year":"1951","unstructured":"Tarski, A.: A decision method for elementary algebra and geometry, 2nd ed. Berkeley: University of California Press, 1951.","edition":"2nd ed."},{"key":"BF02253461_CR11","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0024-3795(77)90025-8","volume":"16","author":"E. Turkel","year":"1977","unstructured":"Turkel, E.: Symmetric hyperbolic difference schemes and matrix problems. Lin Alg. Appl.16, 109\u2013129 (1977).","journal-title":"Lin Alg. Appl."},{"key":"BF02253461_CR12","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0893-9659(91)90176-V","volume":"4","author":"B. Wendroff","year":"1991","unstructured":"Wendroff, B.: The stability of MacCormack's method for the scalar advection equations. Appl. Math. Lett.4, 89\u201391 (1991).","journal-title":"Appl. Math. Lett."}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02253461.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02253461\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02253461","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T04:55:08Z","timestamp":1626756908000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02253461"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,12]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1996,12]]}},"alternative-id":["BF02253461"],"URL":"https:\/\/doi.org\/10.1007\/bf02253461","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,12]]}}}