Автоматизированное построение математических теорий
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка. Объектами системы являются математические...
Автономные и линейные многомерные дифференциальные уравнения
Монография посвящена теории дифференциальных уравнений с "многомерным временем". Дается систематическое изложение вопросов, связанных с качественным исследованием автономных дифференциальных уравнений в случае, когда...
