Alexander Lyaletski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Evidence algorithm: 50 years of development	2025-06-02	Paper
On formalization styles and SAD system	2025-06-02	Paper
Evidence algorithm and inference search in first-order logics Journal of Automated Reasoning	2016-05-26	Paper
Glushkov's evidence algorithm Cybernetics and Systems Analysis	2014-10-27	Paper
Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement) Lecture Notes in Computer Science	2010-08-24	Paper
System for Automated Deduction (SAD): A Tool for Proof Verification Automated Deduction – CADE-21	2009-03-06	Paper
On Correctness of Mathematical Texts from a Logical and Practical Point of View Lecture Notes in Computer Science	2009-01-27	Paper
SAD as a mathematical assistant -- how should we go from here to there? Journal of Applied Logic	2007-02-20	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	2005-08-26	Paper
scientific article; zbMATH DE number 2079533 (Why is no real title available?)	2004-07-28	Paper
On the EA-style integrated processing of self-contained mathematical texts	2001-10-21	Paper
scientific article; zbMATH DE number 1405443 (Why is no real title available?)	2000-06-22	Paper

Research outcomes over time

This page was built for person: Alexander Lyaletski