Literature Cited
V. M. Glushkov, “Problems of the theory of automata and artificial intelligence,” Kibernetika, No. 2, 3–13 (1970).
P. S. Pankov, “A composite method of proof of theorems of mathematical analysis with the aid of a computer,” Kibernetika, No. 3, 119–125 (1978).
P. S. Pankov, B. D. Bayachorova, and S. A. Yugai, “Computer-aided calculations of proofs and the results of their applications in various areas of mathematics,” Kibernetika, No. 6, 111–116 (1982).
A. N. Tikhonov and V. Ya. Arsenin, Methods of Solution of Incorrect Problems [in Russian], Nauka, Moscow (1979).
V. P. Gerdt, O. V. Tarasov, and D. V. Shirkov, “Analytic computer calculations with physical and mathematical applications,” Usp. Fiz. Nauk,130, No. 1, 113–147 (1980).
P. I. Balk, “Automated solution of problems of analytic theory of concrete models in problems of gravitational potential,” Dokl. Akad. Nauk SSSR,245, No. 2, 337–341 (1979).
P. I. Balk, “New theoretical results for classical models of sources of gravity fields obtained on a computer,” Dokl. Akad. Nauk SSSR, Ser. B, No. 12, 3–7 (1979).
I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, Sums, Series, and Products [Russian translation], Nauka, Moscow (1971).
Additional information
Translated from Kibernetika, No. 5, pp. 106–112, September–October, 1986.
Rights and permissions
About this article
Cite this article
Balk, P.I. Calculating proofs on a computer in studies of the properties of linear mappings in finite-dimensional spaces. Cybern Syst Anal 22, 666–674 (1986). https://doi.org/10.1007/BF01068365
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01068365