Международное рабочее совещание по компьютерной алгебре

Международное рабочее совещание по компьютерной алгебре
Организаторы: ЛИТ ОИЯИ, ВМК МГУ

Вторник, 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	Б. Саха (ЛИТ ОИЯИ) Анизотропная модель темной энергии с переменным параметром уравнения состояния