| |
| 2008 | ||
|---|---|---|
| 2 | 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 |
| 2006 | ||
| 1 | EE | Anatoly Anisimov, Alexander V. Lyaletski: The SAD System in Three Dimensions. SYNASC 2006: 85-88 |
| 1 | Alexander V. Lyaletski | [1] [2] |
| 2 | Andrey Paskevich | [2] |
| 3 | Konstantin Verchinine | [2] |