14:00-14:30 |
Stefanescu D. ( University of Bucharest , Romania ) Computation of Bounds for Roots of Orthogonal Polynomials |
14:30-15:00 |
Овчинников А.И. (МГУ, University of Illinois at Chicago ), Голубицкий О.Д (University of Western Ontario), М . В . Кондратьева М.В ( МГУ ), Agnes Szanto (North Carolina State University) Верхняя граница в дифференциальной теореме Гильберта о нулях
|
15:00-15:30 |
Зобнин А . И . ( мехмат МГУ ) Исследование алгоритма F5
|
15:30 - 16:00 |
Перерыв 30 мин.
|
16:00-16:30 |
Севастьянов Л.А., Кулябов Д.С., Кокотчикова М.Г. (РУДН, Москва)
Символьно-численный алгоритм построения матриц стабилизирующего функционала в задаче восстановления поверхности |
16: 3 0-17:00 |
Арансон А.Б. (НИИ Дальней Радиосвязи, Москва ) Алгоритм вычисления степенных преобразований для анализа системы ОДУ в окрестности бесконечно удалённых особых точек |
17:00-17:30 |
Абрамов С.А., Рябенко А. А. ( ВЦ им. Дородницына РАН)
Определяющие рациональные функции линейных обыкновенных уравнений с
полиномиальными коэффициентами
|
11:00-11:30 |
Абрамов С.А. (ВЦ им. Дородницына РАН) О субаналитических решениях линейных разностных уравнений с полиномиальными коэффициентами
|
11:30-12:00 |
Barkatou M . A . ( Universite de Limoges, XLIM, France ) Reduced Forms of Systems of Linear Functional Equations and Applications
|
12:00-12:30 |
Скороходов С.Л. ( ВЦ им. Дородницына РАН) Исследование нулей одного класса целых функций
|
12:30-13:00 |
Власов В.И., Скороходов С.Л. ( ВЦ им. Дородницына РАН) Один класс краевых задач в полигональных областях: сравнение точного и разностного решений
|
13:00 - 14:30 |
Перерыв на обед
|
14:30-15:00 |
Малашонок Г.И. , M.В.Старов (Тамбовский государственный университет) К вычислению матричной степени
|
15:00-15:30 |
Пузынин И.В. (ОИЯИ) , Цветков В.П. (ТвГУ), Михеев С.А. (ТвГУ) , Символьно-численные методы в определении критических параметров вращающихся намагниченных политроп с малым индексом
|
15:30-16:00 |
Корняк В.В. ( ОИЯИ )
Калибровочная инвариантность в дискретных динамических системах
|
16:00-16:30 |
|
16:30-17:00 |
Прокопеня А.Н. (Брестский ГТУ, Белоруссия) , Гердт В.П (ОИЯИ, Дубна), Краглер Р. (Университет г. Вайнгартен, Германия)
Пакет на языке Mathematica для моделирования квантовых схем |
17:00-17:30 |
Винницкий С.И., Гердт В.П., Гусев А.А. , Ростовцев В.А., Чулуунбаатар О. (ОИЯИ) Символьно-численный алгоритм редукции двумерной краевой задачи к обыкновенным дифференциальным уравнениям
|
17:30-18:00 |
Мюлляри А. А. (Университет г.Турку, Финляндия) , Гусев А.А., Ростовцев В. А., Винницкий С.И. (ОИЯИ)
Формальный интеграл и каустики гамильтоновых систем с двумя степенями свободы |
18:00-18.30 |
Васильев Н.Н. (ПОМИ РАН ), Еднерал В.Ф. (НИИЯФ МГУ)
Задача экономизации полиномов многих переменных
|
1 0 :00-1 0 : 3 0 |
Kragler R. ( Weingarten Univ. of Applied Sciences, Germany )
Mathematica Implementation of M. Bronstein's Poor Man's Integrator Parallel Integration Method – Risch Norman Algorithm |
1 0 : 3 0-1 1 : 0 0 |
Сердюкова С.И. (ОИЯИ)
Численно-аналитическое исследование решений типа бризер. Проблема построения линий уровня |
1 1 : 0 0-1 1 : 30 |
Гердт В.П., Зинин М.В . ( ОИЯИ )
О роли инволютивных критериев при вычислении булевых базисов Грёбнера |
1 1 : 3 0-1 2 : 0 0 |
Гердт В.П., Палий Ю.Г., Хведелидзе А.М. ( ОИЯИ )
Алгоритмическое построение кольца полиномиальных инвариантов в задаче квантового перепутывания |
12:00-12:30 |
Амирханов И.В., Музафаров Д.З., Саркар Н.Р. , Сархадов И., Шарипов З.А. (ОИЯИ)
Исследование решений краевых задач для сингулярно-возмущенного дифференциального уравнения высокого порядка в поле кулоновского потенциала |
12:30-13:00 |
Рапортиренко А . М . ( ОИЯИ )
CMUCL версия REDUCE
|
13:00 - 14:30 |
Перерыв на обед
|
14:30-15:00 |
М.А. Черепнев (мехмат МГУ)
Новый блочный алгоритм для решения разреженных систем линейных уравнений над GF(2) |
15:00-15:30 |
Васильев Н.Н. (ПОМИ РАН), Шадрин Е.В .(СПбГПУ) Permutation binomials over Fp for p<2000 |
15:30-16:00 |
Васильев Н.Н. (ПОМИ РАН), Павлов Д.А. (СПбГПУ) Комбинаторика мономиальных упорядочений и универсальные базисы Гребнера |
16:00-16:30 |
Поляков С.П . (ВЦ им. Дородницына РАН) Приближенное суммирование рациональных функций |
16:30-17:00 |
Н.М.Глазунов (Киевский национальный университет авиации, Украина) Компьютерно-алгебраические аспекты категорий Фукаи |