====== DUBNA 2007: Program ======

Russian version of the program is [[http://compalg.jinr.ru/confs/Dubna2007/Programme07.doc|here]]

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

**Организаторы: ЛИТ ОИЯИ, ВМК и НИИЯФ МГУ **

**24-25 мая 2007 г.**

==== Четверг, 24 мая,  конференц-зал ЛИТ ====

|1.|11:00-11:20|**Abramov С.А**. (Dorodnicyn Computing Centre of RAS), **Barkatou M. A.** (Universite de Limoges, XLIM, France) D'Alembertian Series Solutions of LODE with Polynomial Coefficients|
|2.|11:20-11:40|**Блинков Ю.А.** (Саратовский государственный университет), **Гердт В.П.** (ОИЯИ) Специализированная система компьютерной алгебры GINV|
|3.|11:40-12:00|**Корняк В.В.** (ОИЯИ) Дискретные динамические системы с симметриями: компьютерный анализ|
|4.|12:00-12:20|**Гердт В.П.**, **Хведелидзе А.М.**, **Палий Ю.Г.** (ОИЯИ) Однородный базис Гребнера для тензоров|
|5.|12:20-12:40|**Еднерал В.Ф.** (НИИЯФ МГУ им. Д.В. Скобельцина) Исследование интегрируемости уравнений Эйлера — Пуассона с помощью нормальной формы|
| ^12:40-14:00|Перерыв на обед|
|6.|14:00-14:30|**Barkatou M. A.** (Universite de Limoges, XLIM, France) On the Formal Solutions of Linear Systems of Differential Equations near a Singular Point|
|7.|14:30-14:50|**Винницкий С.И.**, **Гердт В.П.**, **Гусев А.А.**, **Ростовцев В.А**,  **Самойлов В.Н**., **Чулуунбаатар О.** (ОИЯИ) Символьно-численный алгоритм решения двумерной граничной задачи в параметрическом базисе | 
|8.|14:50-15:10|**Севастьянов Л.А.**, **Кулябов Д.С.**, **Кокотчикова М.Г.** (РУДН, Москва), **Винницкий С. И.**, **Гусев А.А.** (ОИЯИ) Использование системы символьных вычислений для устойчивой диагностики  оптических поверхностей с использованием полиномов Цернике|
|9.|15:10-15:30|**Вернов С.Ю.** (НИИЯФ МГУ им. Д.В. Скобельцина) Использование нескольких рядов Лорана для построения эллиптических решений|
| ^15:50-16:10|Перерыв 20 мин.|
|10.|16:10-16:30|**Гердт В.П.**, **Зинин М.В.** (ОИЯИ) Инволютивный алгоритм вычисления базисов Гребнера над F2|
|11.|16:30-16:50|**Левин М.В.**  (мехмат МГУ) Эффективное вычисление базисов Гребнера над полем F2|
|12.|16:50-17:10|**Голубицкий О.Д.**, **Кондратьева М.В.**, **Овчинников А.И.**  (мехмат МГУ) Оценка алгоритма Rosenfeld-Groebner с произвольным алгоритмом редукции|
|13.|17:10-17:30|**Зобнин А.И.**, **Кондратьева М.В.**, **Панкратьев Е.В.**, **Трушин Д.В.** (мехмат МГУ)  Достоинства и недостатки дифференциальных стандартных базисов|
|14.|17:30-17:50|**Татауров П.А.** (мехмат МГУ) Применение Mathematica 5.2 для подсчёта дифференциального оператора Шимуры в трёхмерном случае|

==== Пятница, 25 мая,  ауд.  407 ЛИТ ====


|15.|10:00-10:30|**Stefanescu D.**  (University of Bucharest, Romania) Computation of Dominant Real Roots of Polynomials|
|16.|10:30-10:50|**Скороходов С.Л.** (ВЦ им. Дородницына РАН) Ветвление собственных значений задачи Орра-Зоррмерфельда для течения Куэтта|
|17.|10:50-11:10|**Скороходов С.Л.** (ВЦ им. Дородницына РАН), **Христофоров Д.В.** (мехмат МГУ) Ветвление собственных значений кулоновского волнового сфероидального уравнения|
|18.|11:10-11:30|**Шимановский В.А.** (Пермский государственный университет) Формирование уравнений движения систем многих тел средствами компьютерной алгебры|
|19.|11:30-11:50|**Винницкий С.И.**,  **Гусев А.А.**,  **Ростовцев В.А.** (ОИЯИ) Cимвольно-численный алгоритм решения граничных задач в квантовой механике|
| ^11:50-12:10|Перерыв 20 мин.|
|20.|12:10-12:30|**Янович Д.А.** (ОИЯИ) Оценка эффективности распределенных вычислений базисов Грёбнера и инволютивных базисов|
|21.|12:30-12:50| **Малашонок Г.И.**, **Валеев Ю.Д.**  (Тамбовский государственный университет) Об одном подходе к построению параллельной компьютерной алгебры|
|22.|12:50-13:10|**Малашонок Г.И.**, **Зуев М.С.** (Тамбовский государственный университет) Два алгоритма обращения матриц|
| ^13:30-14:30|Перерыв на обед |
|23.|14:30-14:50|**Абрамов С.А.**,  **Рябенко А. А.** (ВЦ им. Дородницына РАН) Об одной компьютерно-алгебраической технологии|
|24.|14:50-15:10|**Гогин Н.**, **Мюлляри А.** (Университет г. Турку, Финляндия) Визуализация при выборе стратегии в нетранзитивной игре в орлянку по Конвэю и  др.|
|25.|15:10-15:30|**Мешвелиани С.Д.** (Институт программных систем РАН, Переславль-Залесский) О системе автоматического поиска доказательств на основе  методов расширенного беступикового пополнения и индукции|
|26.|15:30-15:50|**Рапортиренко А.М.** (ОИЯИ) REDUCE  на Common LISPе|
|27.|15:50-16:10|**Семенов А.С.**, **Зюзиков П.А.** (мехмат МГУ) Динамические свойства инволютивных делений|
|28.|16:10-16:30| **Васильев Н.Н.** (СПб. отд. математического института   им. Стеклова РАН) Мономиальные упорядочения и комбинаторика многомерных диаграмм Юнга|