Evidence Algorithm and System for Automated Deduction: A Retrospective View
Artificial Intelligence
2010-05-26 v1 Logic in Computer Science
Abstract
A research project aimed at the development of an automated theorem proving system was started in Kiev (Ukraine) in early 1960s. The mastermind of the project, Academician V.Glushkov, baptized it "Evidence Algorithm", EA. The work on the project lasted, off and on, more than 40 years. In the framework of the project, the Russian and English versions of the System for Automated Deduction, SAD, were constructed. They may be already seen as powerful theorem-proving assistants.
Cite
@article{arxiv.1005.4447,
title = {Evidence Algorithm and System for Automated Deduction: A Retrospective View},
author = {Alexander Lyaletski and Konstantin Verchinine},
journal= {arXiv preprint arXiv:1005.4447},
year = {2010}
}
Comments
To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 2010