Skip to main content
Springer Nature Link
Log in

Where Numerics Can Benefit from Computer Algebra in Finite Difference Modelling of Fluid Flows

  • Conference paper
Computer Algebra in Scientific Computing CASC’99

Abstract

We present several examples of the use of computer algebra systems as a tool in the development and implementation of finite difference schemes modelling fluid flows. Computer algebra is particularly important for transformations of partial differential equations, posedness and stability analysis. Automatic code generation provides a reliable way to process large implicit linear or non-linear finite difference schemes into Fortran code solving them.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. A. C. Hearn. REDUCE user’s manual, version 3.6. Technical Report RAND Publication CP 78 (Rev. 7/95), RAND, Santa Monica, 1995.

    Google Scholar 

  2. H. Hong. Improvements in CAD-based Quantifier Elimination. PhD thesis, The Ohio State University, 1990.

    Google Scholar 

  3. G. E. Collins and H. Hong. Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comp., 12(3):299–328, 1991.

    Article  MathSciNet  MATH  Google Scholar 

  4. L. González-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–375, Wien, 1998. Springer-Verlag.

    Chapter  Google Scholar 

  5. A. E. Green, N. Laws, and P. M. Naghdi. On the theory of water waves. Proc. R. Soc. Lond. A, 338:43–55, 1974.

    Article  MathSciNet  MATH  Google Scholar 

  6. R. Liska, L. Margolin, and B. Wendroff. Nonhydrostatic two-layer models of incompressible flow. Computers and Math, with Applic., 29(9):25–37, 1995.

    Article  MathSciNet  MATH  Google Scholar 

  7. R. Liska and B. Wendroff. Analysis and computation with stratified fluid models. J. Comp. Phys., 137:212–244, 1997.

    Article  MathSciNet  MATH  Google Scholar 

  8. R. Liska and B. Wendroff. Composite schemes for conservation laws. SIAM J. Numer. Anal., 35(6):2250–2271, 1998.

    Article  MathSciNet  MATH  Google Scholar 

  9. H. Hong, R. Liska, and S. Steinberg. Testing stability by quantifier elimination. J. Symbolic Computation, 24(2): 161–187, 1997. Special issue on Applications of Quantifier Elimination.

    Article  MathSciNet  MATH  Google Scholar 

  10. D. D. Houghton and A. Kasahara. Nonlinear shallow fluid flow over an isolated ridge. Comm. Pure Appl. Math., 21:1–23, 1968.

    Article  MATH  Google Scholar 

  11. D. Houghton and E. Isaacson. Mountain winds. In J. M. Ortega and W. C. Rheinboldt, editors, Studies in Numerical Analysis, pages 21–52. SIAM, 1970.

    Google Scholar 

  12. B. L. Gates. Gentran user’s manual, REDUCE version. Technical report, The RAND Corporation, Santa Monica, 1987.

    Google Scholar 

  13. C. Ronchi, R. Iacono, and P.S. Paolucci. The “cubed sphere”: A new method fot the solution of partial differential equations in spherical geometry. J. Comp. Phys., 124:93–114, 1996.

    Article  MathSciNet  MATH  Google Scholar 

  14. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University in Prague, Břehová 7, 115 19, Prague 1, Czech Republic

    Richard Liska

  2. Group T-7, Los Alamos National Laboratory, Los Alamos, 87544, NM, USA

    Burton Wendroff

Authors
  1. Richard Liska
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Burton Wendroff
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Technische Universität, D-80290, München, Germany

    Victor G. Ganzha

  2. Institut für Informatik, Technische Universität, D-80290, München, Germany

    Ernst W. Mayr

  3. Institute of Theoretical and Applied Mathematics, Russian Academy of Sciences, 630090, Novosibirsk, Russia

    Evgenii V. Vorozhtsov

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Liska, R., Wendroff, B. (1999). Where Numerics Can Benefit from Computer Algebra in Finite Difference Modelling of Fluid Flows. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing CASC’99. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60218-4_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-60218-4_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66047-7

  • Online ISBN: 978-3-642-60218-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics