Доклад М.Д. Малых состоится в 17:00 в аудитории 4-46 на заседании семинара по математическим методам в естественных науках.
Важным достижением современного научного программирования стало появление специализированных языков или надстроек над классическими языками, в которых в качестве типов данных выступают не те или иные числа, но кольца, поля, идеалы, пространства конечных элементов и т.д. К числу таких языков можно отнести Sage и FreeFem++. В докладе будет представлена система Sage, которая позволяет в программе, написанной на языке Python, манипулировать с символьными выражениями, полиномиальными кольцами полями и их идеалами. При этом можно, не меняя кода, проводить вычисления в различных числовых полях, с ошибкой округления или без нее. Изложение будет проиллюстрировано примерами из аналитической теории обыкновенных дифференциальных уравнений и теории разностных схем.