15-е Международное рабочее совещание по компьютерной алгебре


15-е Международное рабочее совещание по
компьютерной алгебре
Среда, 23 мая. Аудитория 407 ЛИТ
11:00
Открытие
11:15
В.П. Иванников (ИСП РАН)
«О верификации программ»
11:45
С.А. Абрамов (ВЦ РАН, Москва), М. Петковшек (Ун-т Любляны,
Словения)
«О полиномиальных решениях линейных уравнений с частными
производными и разностями»
12:05
C.Ф. Адлай (ВЦ РАН, Москва)
«Высокоэффективная арифметика эллиптических кривых»
12:25
В.В. Корняк (ЛИТ ОИЯИ)
«Квантовая механика и билинейные перестановочные
инварианты конечных групп»
12:45
А.Н. Воропаев (ПетрГУ, Петрозаводск)
«Подсчет k-угольников в конечных проективных плоскостях по
явным формулам для определения количества циклов в графах»
13:05
А.Д. Брюно (ИПМ РАН, Москва), В.Ф. Еднерал (НИИЯФ МГУ,
Москва)
«Нормальные формы уравнений Эйлера-Пуассона»
13:2515:00
15:00
Lunch
D. Stefanescu (University of Bucharest, Romania)
«Optimization of bounds for polynomial roots»
15:20
С.И. Сердюкова (ЛИТ ОИЯИ), Ю.М. Шукринов (ЛТФ ОИЯИ)
«Определение критической точки ВАХ системы
джозефсоновских переходов. Периодические и непериодические с
γ=0 граничные условия»
15:40
С.В. Парамонов (МГУ, Москва)
«О дробно-рациональных решениях линейных однородных
уравнений с частными производными или разностями»
16:00
С.А. Гутник (МФТИ, Москва)
«Символьно-численные методы исследования динамики
осесимметричного спутника под действием гравитационного и
гиростатического моментов»
16:20
Д.С. Кулябов, А.В. Королькова (РУДН, Москва)
«Тензорные вычисления в системах компьютерной алгебры»
16:40
М.Н. Геворкян (РУДН, Москва)
«Особенности системы компьютерной алгебры Sage»
17:00
Н.Н. Васильев (ПОМИ РАН)
«Универсальный инволютивный базис и бордер-базисы
Роббиано»
Четверг, 24 мая. Аудитория 407 ЛИТ
10:00
Ю.А. Блинков, С.В. Иванов (СГУ, Саратов), Л.И. Могилевич
(ПФ МГУПС, Саратов)
«Математическое и компьютерное моделирование нелинейных
волн деформаций в оболочке, содержащей вязкую жидкость»
10:20
В.П. Гердт (ЛИТ ОИЯИ), А. Хашеми (ТУ Исфахан, Иран)
«Об использовании критериев Бухбергера в алгоритме G2V
вычисления базисов Гребнера»
10:40
Д.А. Янович (ЛИТ ОИЯИ)
«Параллельное модулярное вычисление базисов Гребнера и
инволютивных базисов»
11:00
П.В. Фокин, Ю.А. Блинков (СГУ, Саратов)
«ZDD диаграммы с общим кэшем»
11:20
Е.С. Шемякова (ВЦ РАН, Москва)
«Доказательство того, что Вронскианы описывают все
возможные преобразования Дарбу порядка два»
11:40
Н.Н. Васильев (ПОМИ РАН), А.Б. Терентьев (СПбГТУ)
«Моделирование марковских процессов с асимптотически
центральной мерой на трехмерных диаграммах Юнга»
12:00
И.П. Юдин (ЛФВЭ ОИЯИ)
«Аналитический алгоритм решения задач нелинейной динамики
заряженных частиц в тороидальном магнитном поле с
использованием метода функций влияния»
12:2014:00
Lunch
14:00
С.Д. Мешвелиани (ИПС РАН, Переславль-Залесский)
«О проекте интерфейса DoCon-Haskell ― Axiom»
14:20
А.М. Рапортиренко (ЛИТ ОИЯИ)
«Локальная версия системы Axiom»
14:40
Н.А. Малашонок, М.А. Рыбаков (ТГУ, Тамбов)
«Символьное решение систем линейных обыкновенных
дифференциальных уравнений с требуемой точностью»
15:00
Л. Хай, А.А. Гусев, С.И. Виницкий, О. Чулуунбаатар,
В.П. Гердт, В.А. Ростовцев (ОИЯИ)
«Символьно-численный алгоритм для расчета ридберговских
состояний и скоростей распада в сильных магнитных полях»
15:20
Р.Т. Файзуллин (ОмГТУ, Омск )
«Сведение задачи ВЫПОЛНИМОСТЬ к основным задачам
линейной алгебры»
15:40
В.С. Рихвицкий (ЛИТ ОИЯИ)
«Цифровая Вселенная: петлевая квантовая космология Абэя
Аштекара, логический аспект»
16:00
Г.И. Малашонок (ТГУ, Тамбов )
«Треугольные разложения матриц в коммутативных областях»