Literature Cited
V. M. Glushkov and Yu. V. Kapitonova, “Automatic search for theorems in mathematical theories and intelligent machines,” Kibernetika, No. 5 (1972).
V. M. Glushkov, K. P. Vershinin, Yu. V. Kapitonova, A. A. Letichevskii, N. P. Malevanyi and V. F. Kostirko, “A formal language for the notation of mathematical texts,” in: Automatic Theorem Proving in Mathematics [in Russian], IK Akad. Nauk UkrSSR, Kiev (1974).
V. V. Atayan, K. P. Vershinin, and A. P. Zhezherun, “Structural processing of mathematical texts,” in: Image Recognition [in Russian], IK Akad. Nauk UkrSSR, Kiev (1978).
A. P. Zhezherun, “Implementation of dynamic syntax tools for mathematical text processing systems,” Abstracts of the All-Union Symposium on Artificial Intellect and Automation of Mathematical Research [in Russian], IK Akad. Nauk UkrSSR, Kiev (1978).
F. V. Anufriev, “A theorem proving algorithm for logical calculus,” in: Theory of Automata [in Russian], No. 5, IK Akad. Nauk UkrSSR, Kiev (1969).
A. V. Lyaletskii and A. I. Degtyarev, “Obviousness-78 algorithm,” Abstracts of the All-Union Symposium on Artificial Intellect and Automation of Mathematical Research [in Russian], IK Akad. Nauk UkrSSR (1978).
A. I. Degtyarev, A. P. Zhezherun, and A. V. Lyaletskii, “On certain deduction tools of a mathematical text processing system,” Kibernetika, No. 5 (1978).
Additional information
Translated from Kibernetika, No. 2, p. 48, March–April, 1979.
Rights and permissions
About this article
Cite this article
Kapitonova, Y.V., Vershinin, K.P., Degtyarev, A.I. et al. System for processing mathematical texts. Cybern Syst Anal 15, 209–210 (1979). https://doi.org/10.1007/BF01069331
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01069331