Evidence Algorithm and Processing Formalized Mathematical Texts
Konstantin P. Vershinin, Anatoli I. Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets, Andrey Paskevich · Journal of Automation and Information Sciences · 2002
Results of modern studies, on the so-called Evidence Algorithm, a program of automated theorem proving, initiated by V.M. Glushkov in sixties, are presented. Means of linguistic and deductive maintenance of this program are described.