Table of Contents
DUBNA 2007: Program
Russian version of the program is 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 | Васильев Н.Н. (СПб. отд. математического института им. Стеклова РАН) Мономиальные упорядочения и комбинаторика многомерных диаграмм Юнга |
