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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andrei Paskevich