Различия

Здесь показаны различия между выбранной ревизией и текущей версией данной страницы.

--- start [2018/09/15 14:24]
sa
+++ start [2018/10/25 10:21] (текущий)
sa
@@ Строка 8: / Строка 8: @@
 ===== Next meeting/Следующее заседание =====
-Очередное заседание семинара "Компьютерная алгебра" состоится в среду 26 сентября 2018 года в 16:20, в ауд. 713 ВМК:
+{{:gerdt181024.pdf|Slides}} (Gerdt), {{:sukhovyh181024.pdf|Slides}} (Sukhovyh)
+Очередное заседание семинара "Компьютерная алгебра" состоится в среду 24 октября 2018 года в 16:20, в ауд. 713 ВМК:
+. **В.П.Гердт** (Лаборатория информационных технологий Объединенного Института Ядерных Исследований, Дубна)
+//**Декомпозиция Томаса систем дифференциальных уравнений и ее реализация в системе Maple
+**//
+**Аннотация
+**
+(Совместная работа с М.Ланге–Хегерманом и Д.Робертцом)
+Мы представим в докладе основные алгоритмические аспекты и реализацию в системе Maple декомпозиции Томаса для полиномиально – нелинейных дифференциальных уравнений и систем таких уравнений, которые могут также включать неравенства вида p≠0, на конечное множество дифференциально треугольных и алгебраически простых инволютивных подсистем. Обычно, такая декомпозиция облегчает исследование и построение решений как аналитически, так и численно.  Отличительной особенностью декомпозиции Томаса является то, что решения ее подсистем не пересекаются, т.е. образуют разбиение пространства решений исходной системы.  В частности, решение корректно поставленной начальной задачи принадлежит одной и только одной из подсистем, получающихся в результате декомпозиции. Декомпозиция Томаса является полностью алгоритмической. Она позволяет получить следующие важные результаты  алгебраического анализа дифференциальных систем: проверить совместность, т.е. существование общих решений уравнений системы; определить (локальный) произвол в общем аналитическом решении; для заданного уравнения установить удовлетворяется ли оно на всех общих решениях исходной системы; исключить часть зависимых переменных, если такое исключение возможно; выявить скрытые связи для зависимых переменных и др. Материал доклада будет проиллюстрирован примерами использования декомпозиции Томаса.
+. **В.И.Суковых** (DataArt, Факультет компьютерных наук ВГУ, Воронеж)
+//**Компьютерные алгоритмы и символьные вычисления в задаче коэффициентной классификации однородных поверхностей
+**//
+**Аннотация
+**
+В докладе исследуется (с привлечением пакета символьной  математики Maple) задача классификации однородных вещественных гиперповерхностей 3-мерного комплексного пространства. Информационная модель этой задачи представляет собой систему билинейных уравнений относительно двух больших групп переменных; одна из групп содержит т.н. свободные параметры.
+Такие задачи, несмотря на естественный прикладной характер, по-видимому, не исследованы в литературе. Билинейная система, полученная из задачи об однородности, освобождается от параметров и сводится к большой системе полиномиальных уравнений. Основным результатом является оценка "количества" решений таких (билинейных и полиномиальных) систем. Показано, что множество решений задачи об однородности (т.е. семейство голоморфно-однородных строго псевдо-выпуклых вещественных гиперповерх-ностей) определяется не более чем 13 вещественными тейлоровскими коэффициентами из нормальных уравнений рассматриваемых поверхностей.
+---------------------------------------------------------------------------------------------------
+The next meeting of the seminar on Computer Algebra of Faculty of Computational Mathematics and Cybernetics of MSU, and Computing Centre of RAS will be on
+Wednesday, October 24, 2018 at 16:20, room 713 of CMC faculty:
+. **V.P.Gerdt** (Laboratory of Information Technologies, Joint Institute for Nuclear Research, Dubna)
+//**Thomas decomposition of differential systems and its implementation in Maple
+**//
+**Abstract
+**
+(Joint work with Markus Lange-Hegermann and Daniel Robertz)
+We present the basic algorithmic features and implementation in Maple of the Thomas decomposition of polynomial nonlinear differential systems, which in addition to equations may contain inequations, into a finite set of differentially triangular and algebraically simple subsystems whose subsets of equations are involutive. Usually the decomposed system is substantially easier to investigate and solve both analytically and numerically. The distinctive property of a Thomas decomposition is disjointness of the solution sets of the output subsystems. Thereby, a solution of a well-posed initial problem belongs to one and only one output subsystem. The Thomas decomposition is fully algorithmic. It allows to perform important elements of algebraic analysis of an input differential system such as: verifying consistency, i.e., the existence of solutions; detecting the arbitrariness in the general analytic solution; given an additional equation, checking whether this equation is satisfied by all common solutions of the input system; eliminating a part of dependent variables from the system if such elimination is possible; revealing hidden constraints on dependent variables, etc. Examples illustrating the use of the differential Thomas decomposition are given.
+. **V.I.Sukhovyh** (DataArt, Depatrment of Computer Science VSU, Voronezh)
+//**Computer algorithms and symbolic calculations in the problem of coefficients classification for homogeneous surfaces
+**//
+**Abstract
+**
+The problem of classification is studied in report (with the use of a Maple package of
+symbolic mathematics) for homogeneous real hypersurfaces of a 3-dimensional complex space.The information model of this problem is a system of bilinear equations with respect to two large groups of variables; one of the groups contains the so-called free parameters.
+Such problems, despite their natural applied character, apparently do not have been investigated in the literature. The bilinear system,obtained from the homogeneity problem,  is exempted from the parameters and reduces to a large system of polynomial equations. The main result is the estimationof the "number" of solutions of such (bilinear and polynomial) systems. It is shown that the set of solutions of the homogeneity problem (that is, the family of holomorphically homogeneous strictly pseudo-convex real hypersurfaces) is determined by no more than 13 real Taylor coefficients from the normal equations of the surfaces under consideration.
+===== Previous meetings/Предыдущие заседания =====
+==== September 26, 2018/26 сентября 2018 г.====
+{{:poslavsky180926.pdf|Slides}}
 **С.В.Пославский** (НИЦ "Курчатовский Институт" - ИФВЭ, Протвино)
@@ Строка 22: / Строка 87: @@
 ---------------------------------------------------------------------------------------------------
-The next meeting of the seminar on Computer Algebra of Faculty of Computational Mathematics and Cybernetics of MSU, and Computing Centre of RAS will be on
+**S.V.Poslavsky** (NRC "Kurchatov Institute" - IHEP Protvino)
-Wednesday, September 26, 2018 at 16:20, room 713 of CMC faculty:
-**S.V.Poslavsky** (NRC «Kurchatov Institute» - IHEP Protvino)
@@ Строка 36: / Строка 98: @@
 Rings is an efficient lightweight library for commutative algebra written in Java and Scala languages. Polynomial arithmetic, GCDs, polynomial factorization and Groebner bases are implemented with the use of modern asymptotically fast algorithms. Rings can be easily interacted or embedded in applications via a simple API with fully typed hierarchy of algebraic structures and algorithms for commutative algebra. The use of the Scala language brings a quite novel powerful, strongly typed functional programming model allowing to write short, expressive, and fast code for applications. At the same time Rings shows one of the best performances among existing software for algebraic calculations. Specific attention in the talk will be paid to the implementational aspects, benchmarks and applications of the library in typical computations in high-energy physics.
-===== Previous meetings/Предыдущие заседания =====
-==== April 18, 2018/28 апреля 2018 г.====
+==== April 18, 2018/18 апреля 2018 г.====
 {{:panferov180418.pdf|Slides}} (Panferov), {{:varin180418.pdf|Slides}} (Varin)