Andrei Paskevich

Available identifiers

zbMath Open paskevich.andreiMaRDI QIDQ287383

List of research outcomes

Publication	Date of Publication	Type
The spirit of ghost code	2017-03-28	Paper
Adding decision procedures to SMT solvers using axioms with triggers	2016-05-26	Paper
Why3 -- where programs meet provers	2013-08-05	Paper
TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism	2013-06-14	Paper
Expressing polymorphic types in a many-sorted language	2011-10-07	Paper
Connection Tableaux with Lazy Paramodulation	2009-03-12	Paper
System for Automated Deduction (SAD): A Tool for Proof Verification	2009-03-06	Paper
On Correctness of Mathematical Texts from a Logical and Practical Point of View	2009-01-27	Paper
Connection tableaux with lazy paramodulation	2008-06-11	Paper
SAD as a mathematical assistant -- how should we go from here to there?	2007-02-20	Paper
Mathematical Knowledge Management	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4471536	2004-07-28	Paper

Research outcomes over time

This page was built for person: Andrei Paskevich