Symbolic manipulations on a computer and their application to generation and investigation of difference schemes

  • V. G. Ganzha
  • S. I. Mazurik
  • V. P. Shapeev
Symbolic/Nameric Interface I
Part of the Lecture Notes in Computer Science book series (LNCS, volume 204)


In the given article there are proposed several methods to realize symbolically on a computer (algorithms) the processes of construction and investigation of difference schemes for systems of partial differential equations with numerous independent variables. The realization of these algorithms as a package of programs for a computer is considered, the possibilities and peculiarities of its functioning in different cases of setting the initial differential and difference equations are discussed. The examples of practical application of the programs of the package are presented.


Difference Scheme Difference Equation Modify Equation Fractional Step Factorize Scheme 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A.A.Samarski. Theory of difference schemes. M., Nauka, 1977.Google Scholar
  2. 2.
    G.I.Marchuk. Methods of calculating mathematics. M., Nauka, 1977.Google Scholar
  3. 3.
    R.D. Richtmyer. Difference methods for initial-value problems. Interscience, NY, 1967.Google Scholar
  4. 4.
    H.B. Keller, V. Pereyra. Symbolic generation of finite difference formulas. Math. Comput., 1978, vol.32, N 144, p.955–971.Google Scholar
  5. 5.
    H.M.Khalil, D.L.Ulery. Multiparameters families of difference approximations to the heat operator in an arbitrary region. Advances in Computer Methods for Partial Differential Equations, 1975, p.304–311.Google Scholar
  6. 6.
    A.N.Valiullin, V.G.Ganzha, S.V.Meleshko, F.A.Murzin, V.P.Shapeev, N.N.Yanenko. Application of symbolic manipulations on a computer for generation and analysis of difference schemes. Preprint Inst. Theor.Appl.Mech. SO AN SSSR, Novosibirsk, 1981, N 7.Google Scholar
  7. 7.
    G.B.Efimov, V.F.Tyshkin, M.Yu.Shashkov, I.B.Shchenkov. Automated programming of operational difference schemes. Preprint Inst.Appl.Math. An SSSR, M., 1982, N 20.Google Scholar
  8. 8.
    A.N. Valiullin, V.G. Ganzha, V.P. Il'in, V.P. Shapeev, N.N. Yanenko. Problem of automatic generation and investigation of difference schemes in symbolic form on a computer. DAN SSSR, 1984, vol.275, N 3, p.528–532.Google Scholar
  9. 9.
    A.N.Valiullin, V.G.Ganzha. S.V.Meleshko, F.A.Murzin, V.P.Shapeev, N.N.Yanenko. Symbolic manipulations in the methods of mathematical physics. In: Mathematics for Computer Science, Proceedings of Symposium, Paris, 1982, p.431–438.Google Scholar
  10. 10.
    M.C.Wirth. Automatic generation of finite difference equations and Fourier stability analyses. Proceedings of the 1981 ACM SYMSAC, Ed. P.S.Wang, 1981, p.73–78.Google Scholar
  11. 11.
    S.I. Mazurik. Application of a computer for investigating of the stability of difference schemes for systems of partial differential equations. Proceedings XX All-Union Sci. Students' Conf., Mathematics, Novosibirsk, NGU, 1982, p.41–45.Google Scholar
  12. 12.
    A.A. Samarski, A.V. Gulin. Stability of difference schemes. M., Nauka, 1973.Google Scholar
  13. 13.
    Yu.I. Shokin. Method of modified equation. Novosibirsk, Nauka, 1979.Google Scholar
  14. 14.
    R.F. Warming, B.I. Hyett. The modified equation approach to the stability of finite-difference methods. J.Comput.Phys., 1974, vol.14, N 2, p.159–179.Google Scholar
  15. 15.
    L.D. Cloutman, L.W. Fullerton. Automated computation of modified equation. J. Comput. Phys., 1978, vol.29, N 1, p.141–144.Google Scholar
  16. 16.
    V.G. Ganzha. Application of symbolic manipulations on a computer for finding the modified equations of difference schemes. In: Numerical Methods of Continuum Mechanics, Novosibirsk, 1983, vol.14, N 2, p.39–44.Google Scholar
  17. 17.
    N.N. Yanenko. Method of fractional steps of solving the multidimentional problems of mathematical physics. Novosibirsk, Nauka, 1966.Google Scholar
  18. 18.
    M.A. Jenkins, J.F. Traub. Zeros of a complex polynomial. Commun. ACM, 1972, vol.15, N 2, p.97–99.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • V. G. Ganzha
    • 1
  • S. I. Mazurik
    • 1
  • V. P. Shapeev
    • 1
  1. 1.Institute of Theoretical and Applied MechanicsSiberian Branch of the USSR Academy of SciencesNovosibirskUSSR

Personalised recommendations