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