|
|
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 |
|
|
11.2 0-11.4 0 |
|
Блинков Ю.А. ( Саратовский государственный университет ) , Гердт В.П. (ОИЯИ)
Специализированная система компьютерной алгебры GINV |
|
|
11: 4 0-1 2 : 00 |
|
Корняк В.В. ( ОИЯИ )
Дискретные динамические системы с симметриями: компьютерный анализ |
|
|
1 2 : 0 0-1 2 : 2 0 |
|
Гердт В.П., Хведелидзе А.М., Палий Ю.Г. ( ОИЯИ )
Однородный базис Гребнера для тензоров |
|
|
12:20-12:40 |
|
Еднерал В.Ф. ( НИИЯФ МГУ им. Д.В. Скобельцина )
Исследование интегрируемости уравнений Эйлера — Пуассона с помощью нормальной формы |
|
12:40 - 14:00 |
|
Перерыв на обед |
|
|
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 |
|
|
14: 3 0-14: 5 0 |
|
Винницкий С.И., Гердт В.П., Гусев А.А. , Ростовцев В.А, Самойлов В.Н., Чулуунбаатар О. (ОИЯИ)
Символьно-численный алгоритм решения двумерной граничной задачи в параметрическом базисе |
|
|
14: 5 0-1 5 : 1 0 |
|
Севастьянов Л.А. , Кулябов Д.С., Кокотчикова М.Г. (РУДН, Москва) Винницкий С. И., Гусев А.А. (ОИЯИ)
Использование системы символьных вычислений для устойчивой диагностики оптических поверхностей с использованием полиномов Цернике |
|
|
1 5 : 1 0-1 5 : 3 0 |
|
Вернов С.Ю. ( НИИЯФ МГУ им. Д.В. Скобельцина ) Использование нескольких рядов Лорана для построения эллиптических решений |
| |
1 5 :50 - 16:10 |
|
Перерыв 20 мин. |
|
|
16:10-16:30 |
|
Гердт В.П., Зинин М.В . ( ОИЯИ )
Инволютивный алгоритм вычисления базисов Гребнера над F 2 |
|
|
16:30-16:50 |
|
Левин М.В. ( мехмат МГУ )
Эффективное вычисление базисов Гребнера над полем F 2 |
|
|
16:50-17:10 |
|
Голубицкий О.Д, Кондратьева М.В, Овчинников А.И. ( мехмат МГУ )
Оценка алгоритма Rosenfeld - Groebner с произвольным алгоритмом редукции |
|
|
17:10-17:30 |
|
Зобнин А.И ., Кондратьева М.В., Панкратьев Е.В., Трушин Д.В. ( мехмат МГУ )
Достоинства и недостатки дифференциальных стандартных базисов |
|
|
17:30-17:50 |
|
Татауров П.А. (мехмат МГУ) Применение Mathematica 5.2 для подсчёта дифференциального оператора Шимуры в трёхмерном случае |
|
|
1 0 :00-10: 3 0 |
|
Stefanescu D. ( University of Bucharest , Romania )
Computation of Dominant Real Roots of Polynomials |
|
|
10:30-10:50 |
|
Скороходов С.Л. ( ВЦ им. Дородницына РАН)
Ветвление собственных значений задачи Орра-Зоррмерфельда для течения Куэтта |
|
|
10:50-11:10 |
|
Скороходов С.Л. ( ВЦ им. Дородницына РАН), Христофоров Д.В. ( мехмат МГУ )
Ветвление собственных значений кулоновского волнового сфероидального уравнения |
|
|
11:10-11:30 |
|
Шимановский В.А. (Пермский государственный университет)
Формирование уравнений движения систем многих тел средствами компьютерной алгебры |
|
|
11:30-11:50 |
|
Винницкий С.И ., Гусев А.А. , Ростовцев В.А. (ОИЯИ)
Символьно-численный алгоритм решения граничных задач в квантовой механике |
| |
11:50 -12 : 1 0 |
|
Перерыв 20 мин. |
|
|
12 : 1 0 -12 : 3 0 |
|
Янович Д.А. (ОИЯИ)
Оценка эффективности распределенных вычислений базисов Грёбнера и
инволютивных базисов |
|
|
12 : 3 0-12: 5 0 |
|
Малашонок Г.И ., Валеев Ю.Д. (Тамбовский государственный университет)
Об одном подходе к построению параллельной компьютерной алгебры |
|
|
12: 5 0-13: 1 0 |
|
Малашонок Г.И. , Зуев М.С. (Тамбовский государственный университет)
Два алгоритма обращения матриц |
| |
13:30-1 4:30 |
|
Перерыв на обед |
|
|
14 :30-14:50 |
|
Абрамов С.А., Рябенко А. А. ( ВЦ им. Дородницына РАН)
Об одной компьютерно-алгебраической технологии |
|
|
14:50-15:10 |
|
Гогин Н., Мюлляри А. (Университет г. Турку, Финляндия)
Визуализация при выборе стратегии в нетранзитивной игре в орлянку по Конвэю и др. |
|
|
15:10-15:30 |
|
Мешвелиани С.Д . (Институт программных систем РАН, Переславль-Залесский)
О системе автоматического поиска доказательств на основе методов расширенного беступикового пополнения и индукции |
|
|
15:30-15:50 |
|
Рапортиренко А . М . ( ОИЯИ )
REDUCE на Common LISP е |
|
|
15 :50-16:10 |
|
Семенов А.С., Зюзиков П.А. ( мехмат МГУ )
Динамические свойства инволютивных делений |
|
|
16:10 - 16: 3 0 |
|
Васильев Н.Н. (СПб. отд. математического института им. Стеклова РАН)
Мономиальные упорядочения и комбинаторика многомерных диаграмм Юнга |
