Konstantin Verchinine

According to our database, Konstantin Verchinine authored at least 8 papers between 2002 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

The SAD System: a Current State and Future Work.

Alexander V. Lyaletski, Alexandre Lyaletsky, Konstantin Verchinine

Proceedings of the 13th International Conference on ICT in Education, 2017

2010

Evidence Algorithm and System for Automated Deduction: A Retrospective View.

Alexander V. Lyaletski, Konstantin Verchinine

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2008

On Correctness of Mathematical Texts from a Logical and Practical Point of View.

Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly V. Anisimov

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

System for Automated Deduction (SAD): A Tool for Proof Verification.

Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich

Proceedings of the Automated Deduction, 2007

2006

SAD as a mathematical assistant - how should we go from here to there?

Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine

J. Appl. Log., 2006

2004

Theorem Proving and Proof Verification in the System SAD.

Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

Evidential Paradigm and Intelligent Mathematical Text Processing.

Alexander V. Lyaletski, Anatoly E. Doroshenko, Andrey Paskevich, Konstantin Verchinine

Proceedings of the Information Systems Technology and its Applications, 2004

2002

System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities.

Alexander V. Lyaletski, Konstantin Verchinine, Anatoli Degtyarev, Andrey Paskevich

Proceedings of the Intelligent Information Systems 2002, 2002