|
Дубна-2014. Программа конференции |
| Среда, 21 мая. Аудитория 407 ЛИТ | |
|---|---|
| 11:00 | В.П. Гердт (ЛИТ ОИЯИ) «Сингулярные теоретико-полевые модели, лагранжевы связи и декомпозиция Томаса» |
| 11:30 | А. Хведелидзе (МИ им А.Размадзе, Тбилиси & ЛИТ ОИЯИ), И.А. Рогожин (ЛИТ ОИЯИ) « О проблеме абсолютной сепарабельности двухчастичных квантовых состояний |
| 12:00 | И.Х. Димовски, М.Н. Спиридонова (ИМИ БАН, София, Болгария) «Периодические решения линейных обыкновенных дифференциальных уравнений с постоянными коэффициентами» |
| 12:30 | Г.И. Малашонок (Тамбовский ГУ, Тамбов ) «Программирование в среде "MathPartner"» |
| 13:00 | С.А. Абрамов (ВЦ РАН, Москва) «Вычислимые степенные ряды в роли коэффициентов линейных дифференциальных систем» |
| 13:30-15:00 | Обед |
| Среда, 21 мая. | Аудитория 407 ЛИТ. Секция I |
| 15:00 |
А.А. Рябенко (ВЦ РАН, Москва)
«Экспоненциально-логарифмические решения линейных дифференциальных систем с коэффициентами в виде степенных рядов» |
| 15:20 |
М.Д. Малых (РУДН, Москва)
«О вычислении интегралов систем обыкновенных дифференциальных уравнений» |
| 15:40 |
Г.К.Гиоргадзе (Тбилисский ГУ, Тбилиси)
«О разрешимости Фуксовой системы в квадратурах» |
| 16:00 |
С.И. Хашин (Ивановский ГУ, Иваново)
«Трехшаговая оценка погрешности методов Рунге-Кутта порядка 4» |
| 16:20-17:00 | Перерыв |
| 17:00 |
А.Б. Батхин (ИПМ РАН, Москва)
«О возмущении нормальной формы системы Гамильтона» |
| 17:20 |
Ю.А. Блинков (СГУ, Саратов), А.В. Месянжин (КБПА, Саратов), О.М. Ромакина (СГУ, Саратов)
«Генерация разностных схем для уравнения типа Буссинеска построением базисов Грёбнера» |
| 17:40 |
А.А. Гусев, О. Чулуунбаатар (ЛИТ ОИЯИ),
С.И. Винницкий (ЛТФ ОИЯИ), Л.Ле Хай, В.А. Ростовцев (ЛИТ ОИЯИ), В.Л. Дербов (СГУ, Саратов)
«Символьно-численный алгоритм решения краевых задач методом конечных элементов с использованием интерполяционных полиномов Эрмита» |
| 18:00 |
Л. Ле Хай (ЛИТ ОИЯИ)
«Символьно-численный алгоритм для решения задачи квантового туннелирования для двухатомной молекулы через отталкивающие барьеры» |
| Среда, 21 мая. | Аудитория 406(2) ЛИТ. Секция II |
| 15:00 |
Е.Г. Еферина, М.Н. Геворкян, А.В. Королькова, Д.С. Кулябов, Л.А. Севастьянов (РУДН, Москва)
«Моделирование одношаговых стохастических процессов в системах компьютерной алгебры» |
| 15:20 |
В.В. Кассандров, И.Ш. Хасанов (УНИГК РУДН, Москва)
«Алгебраический подход к задаче коллективной динамики тождественных частиц» |
| 15:40 |
C.Ф. Адлай (ВЦ РАН, Москва)
«Эллиптические и коэллиптические многочлены» |
| 16:00 |
С.Д. Мешвелиани (ИПС РАН, Переславль-Залесский)
«Компьютерное доказательство `странного' равенства для корней квартики» |
| 16:20-17:00 | Перерыв |
| 17:00 |
М.А. Лимонов (МГУ, Москва)
«Обобщённые сепаранты» |
| 17:20 |
Н.Н. Васильев (ПОМИ РАН), А.Б. Терентьев (СПбГТУ)
«Компьютерное исследование асимптотик нормализованных весов неприводимых представлений симметрической группы» |
| 17:40 |
В.В. Корняк (ЛИТ ОИЯИ)
«Перестановочный взгляд на квантовую эволюцию и квантовые измерения» |
| 18:00 |
П.В. Фокин, Ю.А. Блинков (СГУ, Саратов)
«Решение задачи ВЫПОЛНИМОСТЬ с использованием ZDD диаграмм» |
| Четверг, 22 мая. | Аудитория 407 ЛИТ. Секция I |
| 11:00 |
В.С. Рихвицкий (ЛИТ ОИЯИ)
«Гамильтонова структура космологической модели типа Бьянки – I с гравитационной и космологической константами, зависящими от времени» |
| 11:20 |
О.В. Тарасов (ЛИТ ОИЯИ)
«Дифференциальные уравнения и базисы Грёбнера для Фейнмановских интегралов» |
| 11:40 |
А.Б. Батхин (ИПМ РАН, Москва),
В.Ф. Еднерал, О.Д. Тимофеевская (МГУ, Москва)
«Поиск интегралов движения для одного случая системы Хилла» |
| 12:00 |
А.Л. Севастьянов, А.А. Тютюнник (РУДН, Москва)
«Аналитические вычисления в методе адиабатических волноводных мод» |
| 12:20 - 14:00 | Обед |
| 14:00 |
A.A. Панферов (МГУ, Москва)
«Системы дифференциальных уравнений первого порядка с выделенной частью неизвестных» |
| 14:20 |
С.В. Парамонов (МГУ, Москва)
«Проверка существования аналитических решений линейных уравнений с частными производными и Десятая проблема Гильберта» |
| 14:40 |
И.П. Юдин (ЛФВЭ ОИЯИ)
«Краевая обратная задача для динамической системы с краевыми условиями в виде множеств» |
| Четверг, 22 мая. | Аудитория 407 ЛИТ. Секция II |
| 11:00 |
Д.А. Янович (ЛИТ ОИЯИ)
«Компактное представление полиномов для алгоритмов вычисления базисов Грёбнера и инволютивных базисов» |
| 11:20 |
С.Н. Перепечко (ПетрГУ, Петрозаводск)
«Особые случаи в задаче о димерах на прямоугольных сетках и цилиндрах» |
| 11:40 |
S. Poryazov (IMI BAS, Sofia)
«On the Foundations of the Concepts ‘Sign’ and ‘Analog’» |
| 12:00 |
Е.С. Шемякова (ВЦ РАН, Москва)
«Алгоритм построения обратимых преобразований Дарбу» |
| 12:20 - 14:00 | Обед |
| 14:00 |
A.В. Трепачева (ЮГИНФО ЮФУ, Ростов-на-Дону)
«Эффективный алгоритм декомпозиции булевых полиномов и его приложения» |
| 14:20 |
Ф.Б. Буртыка (ЮГИНФО ЮФУ, Ростов-на-Дону)
«О сложности выражения бинарных операций с помощью полиномов над расширениями конечных полей» |
| 14:40 |
В.П. Гердт (ОИЯИ, Дубна),
А.М. Хведелидзе (МИ им А.Размадзе & ОИЯИ, Тбилиси & Дубна), Ю.Г. Палий (ОИЯИ, Дубна & ИПФ, Кишинев)
«О полуалгебраической структуре пространства SU(2)?U(1) -орбит смешанных состояний кутрита» |
| 15:00 |
D. Stefanescu (University of Bucharest, Romania)
«Optimization of bounds for polynomial roots» |