Konstantin Verchinine

From MaRDI portal
Person:865653

Available identifiers

zbMath Open verchinine.konstantinMaRDI QIDQ865653

List of research outcomes





PublicationDate of PublicationType
Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement)2010-08-24Paper
System for Automated Deduction (SAD): A Tool for Proof Verification2009-03-06Paper
On Correctness of Mathematical Texts from a Logical and Practical Point of View2009-01-27Paper
SAD as a mathematical assistant -- how should we go from here to there?2007-02-20Paper
Mathematical Knowledge Management2005-08-26Paper
https://portal.mardi4nfdi.de/entity/Q44715362004-07-28Paper

Research outcomes over time

This page was built for person: Konstantin Verchinine

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:865653&oldid=7433459"
Powered by MediaWiki