{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:42:08Z","timestamp":1725666128327},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660477"},{"type":"electronic","value":"9783642602184"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60218-4_21","type":"book-chapter","created":{"date-parts":[[2012,2,29]],"date-time":"2012-02-29T17:22:09Z","timestamp":1330536129000},"page":"269-286","source":"Crossref","is-referenced-by-count":0,"title":["Where Numerics Can Benefit from Computer Algebra in Finite Difference Modelling of Fluid Flows"],"prefix":"10.1007","author":[{"given":"Richard","family":"Liska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Burton","family":"Wendroff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"A. C. Hearn. REDUCE user\u2019s manual, version 3.6. Technical Report RAND Publication CP 78 (Rev. 7\/95), RAND, Santa Monica, 1995."},{"key":"21_CR2","unstructured":"H. Hong. Improvements in CAD-based Quantifier Elimination. PhD thesis, The Ohio State University, 1990."},{"issue":"3","key":"21_CR3","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"GE Collins","year":"1991","unstructured":"G. E. Collins and H. Hong. Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comp., 12(3):299\u2013328, 1991.","journal-title":"J. Symb. Comp."},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-7091-9459-1_19","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","author":"L Gonz\u00e1lez-Vega","year":"1998","unstructured":"L. Gonz\u00e1lez-Vega. A combinatorial algorithm solving some quantifier elimination problems. In B.F. Caviness and J.R. Johnson, editors, Quantifier Elimination and Cylindrical Algebraic Decomposition, pages 365\u2013375, Wien, 1998. Springer-Verlag."},{"key":"21_CR5","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1098\/rspa.1974.0072","volume":"338","author":"AE Green","year":"1974","unstructured":"A. E. Green, N. Laws, and P. M. Naghdi. On the theory of water waves. Proc. R. Soc. Lond. A, 338:43\u201355, 1974.","journal-title":"Proc. R. Soc. Lond. A"},{"issue":"9","key":"21_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0898-1221(95)00035-W","volume":"29","author":"R Liska","year":"1995","unstructured":"R. Liska, L. Margolin, and B. Wendroff. Nonhydrostatic two-layer models of incompressible flow. Computers and Math, with Applic., 29(9):25\u201337, 1995.","journal-title":"Computers and Math, with Applic"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1006\/jcph.1997.5806","volume":"137","author":"R Liska","year":"1997","unstructured":"R. Liska and B. Wendroff. Analysis and computation with stratified fluid models. J. Comp. Phys., 137:212\u2013244, 1997.","journal-title":"J. Comp. Phys."},{"issue":"6","key":"21_CR8","doi-asserted-by":"publisher","first-page":"2250","DOI":"10.1137\/S0036142996310976","volume":"35","author":"R Liska","year":"1998","unstructured":"R. Liska and B. Wendroff. Composite schemes for conservation laws. SIAM J. Numer. Anal., 35(6):2250\u20132271, 1998.","journal-title":"SIAM J. Numer. Anal."},{"issue":"2","key":"21_CR9","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1006\/jsco.1997.0121","volume":"24","author":"H Hong","year":"1997","unstructured":"H. Hong, R. Liska, and S. Steinberg. Testing stability by quantifier elimination. J. Symbolic Computation, 24(2): 161\u2013187, 1997. Special issue on Applications of Quantifier Elimination.","journal-title":"J. Symbolic Computation"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/cpa.3160210103","volume":"21","author":"DD Houghton","year":"1968","unstructured":"D. D. Houghton and A. Kasahara. Nonlinear shallow fluid flow over an isolated ridge. Comm. Pure Appl. Math., 21:1\u201323, 1968.","journal-title":"Comm. Pure Appl. Math."},{"key":"21_CR11","first-page":"21","volume-title":"Studies in Numerical Analysis","author":"D Houghton","year":"1970","unstructured":"D. Houghton and E. Isaacson. Mountain winds. In J. M. Ortega and W. C. Rheinboldt, editors, Studies in Numerical Analysis, pages 21\u201352. SIAM, 1970."},{"key":"21_CR12","volume-title":"Technical report","author":"BL Gates","year":"1987","unstructured":"B. L. Gates. Gentran user\u2019s manual, REDUCE version. Technical report, The RAND Corporation, Santa Monica, 1987."},{"key":"21_CR13","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1006\/jcph.1996.0047","volume":"124","author":"C Ronchi","year":"1996","unstructured":"C. Ronchi, R. Iacono, and P.S. Paolucci. The \u201ccubed sphere\u201d: A new method fot the solution of partial differential equations in spherical geometry. J. Comp. Phys., 124:93\u2013114, 1996.","journal-title":"J. Comp. Phys."},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"R. Liska and B. Wendroff. Composite centered schemes for multidimensional conservation laws. In Proceedings of the Seventh International Conference on Hyperbolic Problems Theory, Numerics, Applications, Zurich, 1998. To appear.","DOI":"10.1007\/978-3-0348-8724-3_17"}],"container-title":["Computer Algebra in Scientific Computing CASC\u201999"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60218-4_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T11:33:39Z","timestamp":1620300819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60218-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660477","9783642602184"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60218-4_21","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}