Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
calg:dubna07:program [03/062007 17:00] kryukov |
calg:dubna07:program [03/062007 17:12] (current) kryukov |
||
---|---|---|---|
Line 11: | Line 11: | ||
==== Четверг, 24 мая, конференц-зал ЛИТ ==== | ==== Четверг, 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|љ | + | |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|љ | + | |2.|11:20-11:40|**Блинков Ю.А.** (Саратовский государственный университет), **Гердт В.П.** (ОИЯИ) Специализированная система компьютерной алгебры GINV|љ |
- | |3.|11:40-12:00|Корняк В.В. (ОИЯИ) Дискретные динамические системы с симметриями: компьютерный анализ|љ | + | |3.|11:40-12:00|**Корняк В.В.** (ОИЯИ) Дискретные динамические системы с симметриями: компьютерный анализ|љ |
- | |4.|12:00-12:20|Гердт В.П., Хведелидзе А.М., Палий Ю.Г. (ОИЯИ) Однородный базис Гребнера для тензоров|љ | + | |4.|12:00-12:20|**Гердт В.П.**, **Хведелидзе А.М.**, **Палий Ю.Г.** (ОИЯИ) Однородный базис Гребнера для тензоров|љ |
- | |5.|12:20-12:40|Еднерал В.Ф. (НИИЯФ МГУ им. Д.В. Скобельцина) Исследование интегрируемости уравнений Эйлера ? Пуассона с помощью нормальной формы| | + | |5.|12:20-12:40|**Еднерал В.Ф.** (НИИЯФ МГУ им. Д.В. Скобельцина) Исследование интегрируемости уравнений Эйлера ? Пуассона с помощью нормальной формы| |
| ^12:40-14:00|Перерыв на обед| | | ^12:40-14:00|Перерыв на обед| | ||
- | |1.|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|љ | + | |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|љ |
- | |2.|14:30-14:50|Винницкий С.И., Гердт В.П., Гусев А.А., Ростовцев В.А, Самойлов В.Н., Чулуунбаатар О. (ОИЯИ) Символьно-численный алгоритм решения двумерной граничной задачи в параметрическом базисе | љ | + | |7.|14:30-14:50|**Винницкий С.И.**, **Гердт В.П.**, **Гусев А.А.**, **Ростовцев В.А**, **Самойлов В.Н**., **Чулуунбаатар О.** (ОИЯИ) Символьно-численный алгоритм решения двумерной граничной задачи в параметрическом базисе | љ |
- | |3.|14:50-15:10|Севастьянов Л.А., Кулябов Д.С., Кокотчикова М.Г. (РУДН, Москва) Винницкий С. И., Гусев А.А. (ОИЯИ) Использование системы символьных вычислений для устойчивой диагностики оптических поверхностей с использованием полиномов Цернике|љ | + | |8.|14:50-15:10|**Севастьянов Л.А.**, **Кулябов Д.С.**, **Кокотчикова М.Г.** (РУДН, Москва), **Винницкий С. И.**, **Гусев А.А.** (ОИЯИ) Использование системы символьных вычислений для устойчивой диагностики оптических поверхностей с использованием полиномов Цернике|љ |
- | |4.|15:10-15:30|Вернов С.Ю. (НИИЯФ МГУ им. Д.В. Скобельцина) Использование нескольких рядов Лорана для построения эллиптических решений| | + | |9.|15:10-15:30|**Вернов С.Ю.** (НИИЯФ МГУ им. Д.В. Скобельцина) Использование нескольких рядов Лорана для построения эллиптических решений| |
| ^15:50-16:10|Перерыв 20 мин.| | | ^15:50-16:10|Перерыв 20 мин.| | ||
- | |5.|16:10-16:30|Гердт В.П., Зинин М.В. (ОИЯИ) Инволютивный алгоритм вычисления базисов Гребнера над F2|љ | + | |10.|16:10-16:30|**Гердт В.П.**, **Зинин М.В.** (ОИЯИ) Инволютивный алгоритм вычисления базисов Гребнера над F2|љ |
- | |6.|16:30-16:50|Левин М.В. (мехмат МГУ) Эффективное вычисление базисов Гребнера над полем F2|љ | + | |11.|16:30-16:50|**Левин М.В.** (мехмат МГУ) Эффективное вычисление базисов Гребнера над полем F2|љ |
- | |7.|16:50-17:10|Голубицкий О.Д, Кондратьева М.В, Овчинников А.И. (мехмат МГУ) Оценка алгоритма Rosenfeld-Groebner с произвольным алгоритмом редукции|љ | + | |12.|16:50-17:10|**Голубицкий О.Д.**, **Кондратьева М.В.**, **Овчинников А.И.** (мехмат МГУ) Оценка алгоритма Rosenfeld-Groebner с произвольным алгоритмом редукции|љ |
- | |8.|17:10-17:30|Зобнин А.И., Кондратьева М.В., Панкратьев Е.В., Трушин Д.В. (мехмат МГУ) Достоинства и недостатки дифференциальных стандартных базисов|љ | + | |13.|17:10-17:30|**Зобнин А.И.**, **Кондратьева М.В.**, **Панкратьев Е.В.**, **Трушин Д.В.** (мехмат МГУ) Достоинства и недостатки дифференциальных стандартных базисов|љ |
- | |9.|17:30-17:50|Татауров П.А. (мехмат МГУ) Применение Mathematica 5.2 для подсчета дифференциального оператора Шимуры в трехмерном случае| | + | |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| **Васильев Н.Н.** (СПб. отд. математического института им. Стеклова РАН) Мономиальные упорядочения и комбинаторика многомерных диаграмм Юнга| |