Международное рабочее совещание по компьютерной алгебре
Организаторы: ЛИТ ОИЯИ, ВМК МГУ
Вторник, 21 мая, ауд. 407 ЛИТ
11:30
| (ВЦ РАН, ВМК МГУ, Москва), М. Баркату (Лиможский ун-т, Франция)
О размерности пространств решений линейных дифференциальных систем полного ранга
| |
11:50
| (РУДН, Москва)
Об интегрировании дифференциальных уравнений в абелевых функциях
| |
12:10
| , , (РУДН, Москва)
Символьные вычисления с использованием p-адических чисел
| |
12:30
| (МФТИ, Москва)
Символьно – численные методы исследования динамики спутника-гиростата
| |
12: 50
| , , (РУДН, Москва)
Моделирование спектральных характеристик водородоподобных атомов в
операциональной моделе квантовых измерений
| |
13:10
| (РУДН, Москва)
Нелинейные спиновые волны
| |
| 13:30-15:00 Обед
| |
15:00
| (Мехмат МГУ)
О сигнатурных алгоритмах вычисления базисов Гребнера
| |
15:20
| (ЛИТ ОИЯИ), A. Хашеми, (ИТУ, Исфахан, Иран)
О сигнатурной версии инволютивного алгоритма
| |
15:40
| (Мехмат МГУ)
Остановка алгоритма F5
| |
16:00
| (ЛИТ ОИЯИ)
Maple-пакет для построения обобщённых рекуррентных соотношений для Фейнмановских интегралов
| |
| 16:20-17:00 Перерыв
| |
17:00
| , (ОИЯИ, Дубна)
Определение критической точки ВАХ системы джозефсоновских переходов. Непереодические c γ=1 граничные условия
| |
17:20
| (Ивановский университет, Иваново)
Методы Рунге-Кутта порядка 7
| |
17:40
| (ИПМ РАН, Москва)
Наличие средств символьных преобразований в языке компьютерной алгебры помогает расширить сферу решаемых задач
| |
18:00
| (ВЦ РАН, Москва)
Факторизация преобразований Дарбу произвольного порядка для 2D операторов Шредингера
| |
Международное рабочее совещание по компьютерной алгебре
Среда, 22 мая, ауд. 407 ЛИТ
11:00
| (ВЦ РАН, Москва)
Символьное решение линейных обыкновенных дифференциальных
уравнений с помощью степенных рядов
|
11:20
| (МГУ, Москва)
Метод локальных уточнений границ валюаций решений линейных
разностных систем с полиномиальными коэффициентами
|
11:40
| (НИИДАР, Москва)
Solutions to Nonlinear ODE's by means of Power Geometry Algorithms
|
| 12:00—12:30 Перерыв
|
12:30
| (ЛИТ ОИЯИ), (ЛИТ ОИЯИ, Грузия), (ЛИТ ОИЯИ)
К описанию пространства орбит пары кубитов
|
12:50
| (ЛИТ ОИЯИ, Грузия)
О пространстве перепутанности двух кубитов
|
13:10
| , A. A. Гусев, О. Чулуунбаатар (ОИЯИ, Дубна)
Алгоритм для анализа модели квантового туннелирования кластеров через отталкивающие барьеры
|
| 13:30-15:00 Обед
|
15:00
| (ЛИТ ОИЯИ)
Вычисление инвариантных скалярных произведений, ассоциированных с группами перестановок
|
15:20
| , (ЛИТ ОИЯИ)
Метод итеративного определения координат местоположения космического аппарата
|
15:40
| , (ЛИТ ОИЯИ)
Двухэтапная кластеризация данных большого объема с применением программы Mathematica
|
16:00
| D. Stefanescu (University of Bucharest, Romania)
Construction of irreducible polynomials over valued fields
|
16:20
| (ПОМИ РАН, г. Санкт-Петербург)
О базисе идеала нуль-полиномов над кольцом вычетом
|
| 16:40—17:20 Перерыв
|
17:20
| A. A. Гусев, , (ОИЯИ, Дубна)
Алгоритм построения осцилляторных базисных функций системы тождественных частиц
|
17:40
| (ЛИТ ОИЯИ)
Тензорные вычисления с некоммутативными коэффициентами средствами коммутативной компьютерной алгебры
|
18:00
| Б. Саха (ЛИТ ОИЯИ)
Анизотропная модель темной энергии с переменным параметром уравнения состояния
|
