Konstantin Verchinine

Publication Activity (10 Years)

Years Active: 2002-2017
Publications (10 Years): 1

Top Topics

Learning Algorithm

Predicting Future

Image Segmentation

Top Venues

Publications

Alexander V. Lyaletski, Alexandre Lyaletsky, Konstantin Verchinine
The SAD System: a Current State and Future Work. ICTERI (2017)
Alexander V. Lyaletski, Konstantin Verchinine
Evidence Algorithm and System for Automated Deduction: A Retrospective View CoRR (2010)
Alexander V. Lyaletski, Konstantin Verchinine
Evidence Algorithm and System for Automated Deduction: A Retrospective View. AISC/MKM/Calculemus (2010)
Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly V. Anisimov
On Correctness of Mathematical Texts from a Logical and Practical Point of View. AISC/MKM/Calculemus (2008)
Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich
System for Automated Deduction (SAD): A Tool for Proof Verification. CADE (2007)
Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine
SAD as a mathematical assistant - how should we go from here to there? J. Appl. Log. 4 (4) (2006)
Alexander V. Lyaletski, Anatoly E. Doroshenko, Andrey Paskevich, Konstantin Verchinine
Evidential Paradigm and Intelligent Mathematical Text Processing. ISTA (2004)
Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine
Theorem Proving and Proof Verification in the System SAD. MKM (2004)
Alexander V. Lyaletski, Konstantin Verchinine, Anatoli Degtyarev, Andrey Paskevich
System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities. Intelligent Information Systems (2002)