Пётр Карпов, РЭУ
Виталий Красиков, РЭУ
Тимур Жуков, РЭУ

Методы компьютерной алгебры играют важную роль в естественных науках и многочисленных приложениях. На протяжении последнего десятилетия значение и распространение методов и систем компьютерной алгебры значительно возросли. История серии конференций CASC насчитывает свыше двадцати лет, посвященных изучению взаимодействия этих областей знания.

В настоящее время системы компьютерной алгебры CoCoA, Macaulay, Magma, Maple, Mathematica, Maxima, Reduce, Sage, Singular и другие предоставляют многочисленные возможности для символьных и численных расчетов, а также решения задач визуализации. Развитие и интеграция систем компьютерной алгебры с другими программными продуктами помещает их на передний край науки в части решения сложных прикладных задач в различных предметных областях.

Тематика конференции включает все основные области научных вычислений, в которых находят применение современные методы компьютерной алгебры и соответствующее программное обеспечение: точные и приближенные вычисления, численное моделирование с использованием систем компьютерной алгебры, параллельные символьно-численные алгоритмы, символьно-численные методы решения дифференциальных, алгебраических и разностных уравнений, методы решения алгебраических неравенств, алгоритмы и их сложность в задачах компьютерной алгебры, автоматизированные доказательства в алгебре и геометрии, алгебраические методы в геометрическом моделировании, анализ больших данных средствами компьютерной алгебры, применение компьютерной алгебры в естественных науках, а также интернет-сервисы для символьных и численных расчетов.

Аннотации докладов