Stav dette: Краевые задачи и автоматизация их решений: тематический сборник научных трудов