Skip to main content
SpringerLink
Log in

Composite method of proving some theorems in mathematical analysis with the aid of electronic computers

  • Published:
Cybernetics Aims and scope

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literature Cited

  1. V. M. Glushkov, “Some problems of the theory of automata and artificial intelligence,” Kibernetika, No. 2 (1970).

  2. Yu. V. Kapitonova, V. F. Kostyrko, A. V. Lyaletskii, A. I. Malashonik, F. V. Anufriev, and Z. M. Asel'derov, “Brief survey and literature on search automation for proving theorems in formalized theories,” Kibernetika, No. 5 (1972).

  3. S. V. Pshenichnikova, “digital-computer modeling of a proof of some theorems in analysis,” in: Automata theory and Methods of Formalized Synthesis of Computers and Systems [in Russian], Inst. Kibernetiki Akad. Nauk UkrSSR, No. 4, Kiev (1969).

  4. A. D. Myshkis, Linear Differential Equations with Delay Argument [in Russian], Nauka, Moscow (1972).

    Google Scholar 

  5. P. S. Pankov, “Applying electronic computers to find damping conditions for oscillatory solutions of equations with a delay argument of an unstable kind,” Fourth All-Union Conference on Theory and Applications of Differential Equations with Deviating Argument [in Russian], Naukova Dumka, Kiev (1975).

    Google Scholar 

  6. M. Urabe, “Numerical investigation of subharmonic solutions to Duffing's equation,” Proceedings of the Fifth International Conference on Nonlinear Oscillations [in Russian], Vol. 4, Kiev (1970).

  7. J. Buchanan, “Growth of oscillatory solutions of y′(x)=y(x−d(x)),” SIAM J. Appl. Math.,20, No. 4 (1971).

Download references

Authors
  1. P. S. Pankov
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Kibernetika, No. 3, pp. 119–125, May–June, 1978.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pankov, P.S. Composite method of proving some theorems in mathematical analysis with the aid of electronic computers. Cybern Syst Anal 14, 441–448 (1978). https://doi.org/10.1007/BF01074679

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01074679

Keywords

Search

Navigation