%0 Journal Article %A Vershinin, Konstantin P. %A Degtyarev, Anatoliy I. %A Lyaletski, Alexander V. %A Morokhovets, Marina K. %A Paskevich, Andrey Yu. %D 2002 %I Begell House %N 10 %P 12 %R 10.1615/JAutomatInfScien.v34.i10.10 %T Evidence Algorithm and Processing Formalized Mathematical Texts %U https://www.dl.begellhouse.com/journals/2b6239406278e43e,18b3c93b532add65,0b5348212898ba56.html %V 34 %X 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. %8 2002-10-01