2018
Доклады
Шестнадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2018 (24-27 сентября 2018 г., г. Москва, Россия). Труды конференции. В 2-х томах.
Москва, РКП
Т. 2
Клещев А.С., Тимченко В.А. Концепция оболочки для интерактивных систем верификации интуитивных математических доказательств // Шестнадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2018 (24-27 сентября 2018 г., г. Москва, Россия). Труды конференции. В 2-х томах. – М.: РКП, 2018. Т. 2. С. 114-122.