| 2008 |
|---|
| 8 | EE | Konstantin Verchinine,
Alexander V. Lyaletski,
Andrey Paskevich,
Anatoly Anisimov:
On Correctness of Mathematical Texts from a Logical and Practical Point of View.
AISC/MKM/Calculemus 2008: 583-598 |
| 7 | EE | Andrey Paskevich:
Connection Tableaux with Lazy Paramodulation.
J. Autom. Reasoning 40(2-3): 179-194 (2008) |
| 2007 |
|---|
| 6 | EE | Konstantin Verchinine,
Alexander V. Lyaletski,
Andrey Paskevich:
System for Automated Deduction (SAD): A Tool for Proof Verification.
CADE 2007: 398-403 |
| 2006 |
|---|
| 5 | EE | Andrey Paskevich:
Connection Tableaux with Lazy Paramodulation.
IJCAR 2006: 112-124 |
| 4 | EE | Alexander V. Lyaletski,
Andrey Paskevich,
Konstantin Verchinine:
SAD as a mathematical assistant - how should we go from here to there?
J. Applied Logic 4(4): 560-591 (2006) |
| 2004 |
|---|
| 3 | | Alexander V. Lyaletski,
Anatoly E. Doroshenko,
Andrey Paskevich,
Konstantin Verchinine:
Evidential Paradigm and Intelligent Mathematical Text Processing.
ISTA 2004: 205-211 |
| 2 | EE | Alexander V. Lyaletski,
Andrey Paskevich,
Konstantin Verchinine:
Theorem Proving and Proof Verification in the System SAD.
MKM 2004: 236-250 |
| 2002 |
|---|
| 1 | | Alexander V. Lyaletski,
Konstantin Verchinine,
Anatoli Degtyarev,
Andrey Paskevich:
System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities.
Intelligent Information Systems 2002: 413-422 |
