Программирование, 2021, № 2, стр. 51-55

АЛГОРИТМ ПОСТРОЕНИЯ РЕЗУЛЬТАНТА ДВУХ ЦЕЛЫХ ФУНКЦИЙ

В. И. Кузоватов a*, А. А. Кытманов a**, Е. К. Мышкина b***

a Сибирский федеральный университет
660041 Красноярск, пр. Свободный, 79, Россия

b Институт вычислительного моделирования СО РАН
660036 Красноярск, Академгородок, 50/44, Россия

* E-mail: kuzovatov@yandex.ru
** E-mail: aakytm@gmail.com
*** E-mail: elfifenok@mail.ru

Поступила в редакцию 15.07.2020
После доработки 03.09.2020
Принята к публикации 04.09.2020

Полный текст (PDF)

Аннотация

На основе рекуррентных формул Ньютона приведен алгоритм построения результанта двух целых функций, что является одним из методов исключения неизвестных для систем неалгебраических уравнений. Алгоритм реализован в системе компьютерной алгебры Maple. Приведены примеры, демонстрирующие работу данного алгоритма.

1. ВВЕДЕНИЕ

Одним из основных инструментов, открывших путь к созданию алгоритмических методов исследования и решения систем алгебраических уравнений, явилось понятие базиса Гребнера идеала кольца многочленов, занимающее одно из центральных мест в современной компьютерной алгебре (см., например, [1]). Одно из дальнейших развитий понятия базиса Гребнера приведено в [2]. Классические схемы исключения неизвестных из систем алгебраических уравнений, основанные на методе базисов Гребнера, реализованы во многих существующих системах компьютерной алгебры. Однако, такие методы неприменимы для исследования систем существенно неалгебраических уравнений (т.е. уравнений, не сводящихся к алгебраическим заменам переменных).

Вместе с тем, неалгебраические системы уравнений возникают в различных областях знания. В частности, в процессах, описываемых системами дифференциальных уравнений с правыми частями, разложимыми в ряд Тейлора, актуален вопрос об определении числа стационарных состояний в множествах определенного вида (и их локализации). Эта проблема приводит к задачам построения алгоритмов для определения числа корней заданной системы уравнений в различных множествах, определения самих корней, исключения части неизвестных из системы. В частности, в монографии [3] приведены многочисленные примеры из химической кинетики, где требуются алгоритмы исключения неизвестных. Здесь важно применение разработанных методов для качественного и численного анализа математических моделей термокинетики процессов горения и катализа с целью получения условий воспламенения, взрыва и критических явлений в химически реагирующих системах. Для приложений, в том числе, например, для уравнений химической кинетики, важной задачей является исследование зависимостей решений систем нелинейных, в том числе и неалгебраических, уравнений от параметров. В вычислительном плане эта задача является достаточно трудоемкой. Ее степень сложности сильно зависит от размерности пространства неизвестных. Поэтому снижение этой размерности за счет исключения переменных может привести к упрощению исходной задачи.

Метод исключения неизвестных из систем нелинейных алгебраических уравнений, основанный на теории многомерных вычетов, был предложен Л.А. Айзенбергом в [4] в 1977 г. Дальнейшие модификации метода были предложены А.П. Южаковым, А.К. Цихом, В.И. Быковым, А.М. Кытмановым, М.З. Лазманом в конце прошлого века [3]. Эти идеи были в последствии развиты в работах [57]. Алгоритмический метод (разработанный на основе идей Л.А. Айзенберга и А.П. Южакова) был предложен М. Елкади и А. Ижером в работе [8]. Идея метода заключалась в нахождении определенных вычетных интегралов, связанных со степенными суммами корней (в положительных степенях) заданной системы уравнений, избегая нахождения самих корней и применяя затем к ним рекуррентные формулы Ньютона. По сравнению с классическим методом, данный метод сокращал время работы алгоритма, не повышая при этом кратность корней.

Еще одним методом исключения неизвестных служит построение результанта двух целых функций. Хорошо известен классический результант Сильвестра для двух многочленов и метод исключения неизвестных, на нем основанный. Для неалгебраических функций такое понятие не было изучено ранее. Лишь в последние года в работах [9, 10] обсуждается один подход к нахождению результанта двух целых функций, основанный на рекуррентных формулах Ньютона.

Разработанный в данной работе алгоритм может быть также использован при исследовании дзета-функции корней некоторых классов целых функций, которые являются важным инструментом в создании методов исключения неизвестных из систем нелинейных уравнений, как было показано в работах [1113].

2. КЛАССИЧЕСКИЙ РЕЗУЛЬТАНТ СИЛЬВЕСТРА И ЕГО ОБОБЩЕНИЯ

Напомним, что для данных многочленов f и g классический результант $R\left( {f,g} \right)$ может быть определен различными способами с использованием

a) определителя Сильвестра (см., например, [1416]);

b) формулы для произведения R(f, g) = = $\prod\limits_{\{ x:f(x) = 0\} }^{} {g(x)} $ (см., например, [1416]);

c) способа Безу–Кэли (см., например, [17]).

В данной работе приведем конструктивное построение результанта двух целых функций на комплексной плоскости. В качестве основного определения результанта возьмем формулу произведения. Такой выбор объясняется тем, что целые функции являются естественным обобщением многочленов в комплексном анализе.

В ряде работ (см., например, [18]– [22]) различными авторами были предложены обобщения понятия результанта для аналитических функций в кольце матричнозначных функций, мероморфных функций на римановой поверхности, для систем алгебраических уравнений. Во всех этих исследованиях предполагалось, что число нулей или полюсов конечно. Наш случай существенно отличается тем, что целые функции могут иметь бесконечное число нулей. Поэтому для нахождения результанта необходим предельный переход.

Актуальность данной задачи определяется тем, что, например, в уравнениях химической кинетики возникают функции и системы уравнений, состоящие из экспоненциальных многочленов [23].

Первым шагом в нахождении результанта двух целых функций явилась работа [9], в которой рассмотрен случай, когда одна из функций – целая, а вторая является многочленом (или целой функцией с конечным числом нулей). Условие конечности числа нулей целой функции изучено в [24]. В работе [25] обобщены результаты из [9] в случае, когда одна из целых функций удовлетворяет некоторым жестким ограничениям, но все-таки может иметь бесконечное число нулей.

Преимущество нашего подхода состоит в том, что он позволяет ответить на вопрос, имеют ли целые функции общие нули или нет, не вычисляя самих нулей. Итоговая формула для результанта содержит степенные суммы корней, которые можно вычислить по формулам Ньютона, не прибегая к нахождению самих нулей.

3. РЕЗУЛЬТАНТ ДВУХ ЦЕЛЫХ ФУНКЦИЙ

Рассмотрим систему уравнений, состоящую из квадратного многочлена f(z) и многочлена n-й степени $g(z)$

(1)
$\left\{ \begin{gathered} f(z) = {{a}_{0}} + {{a}_{1}}z + {{z}^{2}}, \hfill \\ g(z) = {{b}_{0}} + {{b}_{1}}z + {{b}_{2}}{{z}^{2}} + \; \ldots + \;{{b}_{n}}{{z}^{n}}. \hfill \\ \end{gathered} \right.$

Обозначим нули многочлена f(z) через ${{z}_{1}}$, ${{z}_{2}}$. Тогда (см., например, [10])

$\begin{gathered} \prod\limits_{i = 1}^2 g ({{z}_{i}}) = g({{z}_{1}})g({{z}_{2}}) = b_{0}^{2} + b_{1}^{2}{{z}_{1}}{{z}_{2}} + \\ + \;b_{2}^{2}z_{1}^{2}z_{2}^{2} + \ldots \; + b_{n}^{2}z_{1}^{n}z_{2}^{n} + {{b}_{0}}{{b}_{1}}({{z}_{1}} + {{z}_{2}}) + \\ + \;{{b}_{0}}{{b}_{2}}(z_{1}^{2} + z_{2}^{2}) + \; \ldots \; + {{b}_{0}}{{b}_{n}}(z_{1}^{n} + z_{2}^{n}) + \\ + \;{{b}_{1}}{{b}_{2}}{{z}_{1}}{{z}_{2}}({{z}_{1}} + {{z}_{2}}) + {{b}_{1}}{{b}_{3}}{{z}_{1}}{{z}_{2}}(z_{1}^{2} + z_{2}^{2}) + \; \ldots \; + \\ + \;{{b}_{1}}{{b}_{n}}{{z}_{1}}{{z}_{2}}(z_{1}^{n} + z_{2}^{n}) + {{b}_{2}}{{b}_{3}}z_{1}^{2}z_{2}^{2}({{z}_{1}} + {{z}_{2}}) + \\ + \;{{b}_{2}}{{b}_{4}}z_{1}^{2}z_{2}^{2}(z_{1}^{2} + z_{2}^{2}) + \; \ldots \; + {{b}_{2}}{{b}_{n}}z_{1}^{2}z_{2}^{2}(z_{1}^{n} + z_{2}^{n}) + \\ + \; \ldots \; + {{b}_{{n - 1}}}{{b}_{n}}z_{1}^{{n - 1}}z_{2}^{{n - 1}}(z_{1}^{n} + z_{2}^{n}). \\ \end{gathered} $

Таким образом, мы получим

$\begin{gathered} \prod\limits_{i = 1}^2 g ({{z}_{i}}) = g({{z}_{1}})g({{z}_{2}}) = \\ = \;\sum\limits_{k = 0}^n {b_{k}^{2}} z_{1}^{k}z_{2}^{k} + \sum\limits_{t = 0}^{n - 1} {\sum\limits_{s = t + 1}^n {{{b}_{t}}} } {{b}_{s}}(z_{1}^{t}z_{2}^{s} + z_{1}^{s}z_{2}^{t}) = \\ = \;\sum\limits_{k = 0}^n {b_{k}^{2}} z_{1}^{k}z_{2}^{k} + \sum\limits_{t = 0}^{n - 1} {\sum\limits_{s = t + 1}^n {{{b}_{t}}} } {{b}_{s}}z_{1}^{t}z_{2}^{t}(z_{1}^{{s - t}} + z_{2}^{{s - t}}). \\ \end{gathered} $

Напомним классические рекуррентные формулы Ньютона для многочленов. Они связывают между собой коэффициенты многочлена и степенные суммы его корней.

Пусть

$P\left( z \right) = {{z}^{m}} + {{c}_{1}}{{z}^{{m - 1}}} + \; \ldots \; + {{c}_{{m - 1}}}z + {{c}_{m}}.$

Обозначим через ${{z}_{1}},{{z}_{2}},\; \ldots ,\;{{z}_{m}}$ его корни (среди них могут быть и кратные). Определим степенную сумму корней

${{S}_{k}} = z_{1}^{k} + \; \ldots \; + z_{m}^{k},\quad k \in \mathbb{N},\quad {{S}_{0}} = m.$

Степенные суммы Sk и коэффициенты cj связаны между собой классическими рекуррентными формулами Ньютона:

(2)
$\left\{ \begin{gathered} {{S}_{j}} + \sum\limits_{i = 1}^{j - 1} {{{S}_{{j - i}}}} {{c}_{i}} + j{{c}_{j}} = 0,\quad 1 \leqslant j \leqslant m, \hfill \\ {{S}_{j}} + \sum\limits_{i = 1}^m {{{S}_{{j - i}}}} {{c}_{i}} = 0,\quad j > m. \hfill \\ \end{gathered} \right.$

Используя классические формулы Виета

${{z}_{1}} + {{z}_{2}} = - {{a}_{1}},\quad {{z}_{1}}{{z}_{2}} = {{a}_{0}}$
и определение результанта в виде формулы произведения, получаем следующий результат.

Теорема 1 ([10]). Результант $R\left( {f,g} \right)$ системы многочленов вида (1) вычисляется по формуле

(3)
$R\left( {f,g} \right) = \sum\limits_{k = 0}^n {b_{k}^{2}} a_{0}^{k} + \sum\limits_{t = 0}^{n - 1} {\sum\limits_{s = t + 1}^n {{{b}_{t}}} } {{b}_{s}}a_{0}^{t}{{S}_{{s - t}}},$
где степенные суммы Sj корней многочлена f(z) определяются рекуррентными формулами Ньютона.

Осуществив в (3) предельный переход по $n$, получаем утверждение о результанте относительно целой функции и многочлена (или целой функции с конечным числом нулей).

Теорема 2. ([10]). Пусть g(z) – целая функция на комплексной плоскости $\mathbb{C}$ вида

$g\left( z \right) = {{b}_{0}} + {{b}_{1}}z + {{b}_{2}}{{z}^{2}} + \; \ldots \; + {{b}_{n}}{{z}^{n}} + \; \ldots ,$
а f(z) – многочлен вида (1). Тогда результантом $R\left( {f,g} \right)$ является выражение
$R\left( {f,g} \right) = \sum\limits_{k = 0}^\infty {b_{k}^{2}} a_{0}^{k} + \sum\limits_{t = 0}^\infty {\sum\limits_{s = t + 1}^\infty {{{b}_{t}}} } {{b}_{s}}a_{0}^{t}{{S}_{{s - t}}},$
где ряды в правой части абсолютно сходятся.

4. ОПИСАНИЕ АЛГОРИТМА

Алгоритм состоит из функции, реализующей вычисление степенных сумм с помощью классических формул Ньютона (2) и основной функции, вычисляющей результант системы (1), вычисленный по формуле (3).

5. ПРИМЕРЫ

Алгоритм 1: Алгоритм вычисления классических рекуррентных формул Ньютона.
  FunctionRecurrNewton(${\text{\{ }}{{c}_{1}},\; \ldots ,\;{{c}_{m}}{\text{\} }}$, $k$):
    Input: Список коэффициентов ${{c}_{1}},\; \ldots ,\;{{c}_{m}}$; натуральное число $k$.
    Output: Список ${{S}_{1}},\; \ldots ,\;{{S}_{k}}$ степенных сумм, вычисляющихся по формулам (2)
    begin
     ${{S}_{1}}: = - {{c}_{1}}$
     for$j = 2\; \ldots \;min(m,k)$do
        ${{S}_{j}}: = - \sum\limits_{i = 1}^{j - 1} {{{S}_{{j - i}}}} {{c}_{i}} - j{{c}_{j}}$
      if$k > m$then
       for$j = m + 1\; \ldots \;k$do
          ${{S}_{j}} = - \sum\limits_{i = 1}^m {{{S}_{{j - i}}}} {{c}_{i}}$
      return${\text{\{ }}{{S}_{1}},\; \ldots ,\;{{S}_{k}}{\text{\} }}$
Алгоритм 2: Алгоритм построения результанта двух целых функций.
Input: Список коэффициентов ${{a}_{0}},{{a}_{1}}$, список коэффициентов ${{b}_{0}},{{b}_{1}},\; \ldots ,\;{{b}_{n}}$.
Output: Результант системы (1), вычисленный по формуле (3).
begin
   $S: = {\mathbf{RecurrNewton}}({\text{\{ }}{{a}_{0}},{{a}_{1}}{\text{\} }},n)$
   $R: = \sum\limits_{k = 0}^n {} b_{k}^{2}a_{0}^{k}$
   for$t = 0\; \ldots \;n - 1$do
      $R: = R + \sum\limits_{s = t + 1}^n {{{b}_{t}}} {{b}_{s}}a_{0}^{t}S[s - t]$
    return$R$

Алгоритм был реализован в среде Maple 2016 64bit. Полный код программы доступен по адресу https://github.com/aakytmanov/Resultant2n. Вычисления производились на машине Intel Core i7-4790 (3.6 GHz) c 32 Gb RAM под управлением Windows 7 Enterprise x64SP1. Время счета для приведенных примеров составило менее 0.2 секунды.

Пример 1. Рассмотрим систему уравнений $(n = 2)$

$\left\{ \begin{gathered} f\left( z \right) = z\left( {z - 1} \right) = {{z}^{2}} - z, \hfill \\ g\left( z \right) = \left( {z - 2} \right)\left( {z + 2} \right) = {{z}^{2}} - 4. \hfill \\ \end{gathered} \right.$

В данном случае

${{a}_{0}} = 0,\quad {{a}_{1}} = - 1,\quad {{b}_{0}} = - 4,\quad {{b}_{1}} = 0,\quad {{b}_{2}} = 1.$

Тогда формула (3) примет вид

$R\left( {f,g} \right) = \sum\limits_{k = 0}^2 {b_{k}^{2}} a_{0}^{k} + \sum\limits_{t = 0}^1 {\sum\limits_{s = t + 1}^2 {{{b}_{t}}} } {{b}_{s}}a_{0}^{t}{{S}_{{s - t}}}.$

Поскольку ${{a}_{0}} = 0$, то в этих суммах останутся лишь слагаемые, соответствующие $k = 0$ и t = 0, то есть

$R\left( {f,g} \right) = b_{0}^{2} + \sum\limits_{s = 1}^2 {{{b}_{0}}} {{b}_{s}}{{S}_{s}}.$

Поскольку ${{b}_{1}} = 0$, то в одномерной сумме останутся лишь слагаемые при s = 2. Таким образом,

$R\left( {f,g} \right) = b_{0}^{2} + {{b}_{0}}{{b}_{2}}{{S}_{2}}.$

Найдем степенную сумму корней ${{S}_{2}}$, не используя значения самих корней, а именно по рекуррентным формулам Ньютона. Так, для нашего случая

${{S}_{2}} = 1.$

Таким образом, $R\left( {f,g} \right) = 12$.

Входными данными алгоритма в этом случае будут списки коэффициентов ${{a}_{i}}$ и ${{b}_{j}}$:

> Res([0, –1], [–4, 0, 1]);

Пример 2. Данные методы приводят к вычислению сумм некоторых типов кратных числовых рядов, ранее отсутствовавших в известных справочниках. Эти результаты представляют самостоятельный интерес. Рассмотрим систему уравнений

$\left\{ \begin{gathered} f\left( z \right) = {{z}^{2}} - {{a}^{2}}, \hfill \\ g\left( z \right) = {{e}^{{bz}}} = 1 + bz + \tfrac{{\mathop {\left( {bz} \right)}\nolimits^2 }}{{2!}} + \; \ldots \; + \tfrac{{\mathop {\left( {bz} \right)}\nolimits^n }}{{n!}} + \; \ldots . \hfill \\ \end{gathered} \right.$

Вычисляя результант $R\left( {f,g} \right)$, используя теорему 2 с одной стороны, и используя определение результанта в виде формулы для произведения с другой стороны, получим соотношение (см. [10])

$\sum\limits_{k = 0}^\infty \,\mathop {\left( { - 1} \right)}\nolimits^k \frac{{\mathop {\left( {ab} \right)}\nolimits^{2k} }}{{\mathop {\left( {k!} \right)}\nolimits^2 }} + 2\sum\limits_{t = 0}^\infty {\sum\limits_{j = 1}^\infty {\frac{{\mathop {\left( { - 1} \right)}\nolimits^t \mathop {\left( {ab} \right)}\nolimits^{2t + 2j} }}{{t!\left( {t + 2j} \right)!}}} } = 1.$

При этом первая сумма является известной специальной функцией. Это функция Бесселя 1-го рода, а именно ${{J}_{0}}\left( {2ab} \right)$.

Частичные суммы выражения в левой части могут быть получены с помощью предложенного алгоритма, например, используя входные данные

> Res([-a^2, 0], [1, b, b^2/2!, b^3/3!,

b^4/4!, b^5/5!, b^6/6!]);

получим

$\begin{gathered} R\left( {f,g} \right) = 1 + \tfrac{{{{a}^{4}}{{b}^{4}}}}{3} - \tfrac{{{{a}^{6}}{{b}^{6}}}}{{40}} - \tfrac{{{{a}^{8}}{{b}^{8}}}}{{960}} + \tfrac{{{{a}^{{10}}}{{b}^{{10}}}}}{{21600}} + \\ + \;\tfrac{{{{a}^{{12}}}{{b}^{{12}}}}}{{518400}} - \tfrac{{{{a}^{4}}{{b}^{4}}}}{3} + \tfrac{{{{a}^{6}}{{b}^{6}}}}{{40}} + \tfrac{{{{a}^{8}}{{b}^{8}}}}{{720}} = \\ = \;1 + \tfrac{{{{a}^{8}}{{b}^{8}}}}{{2880}} + \tfrac{{{{a}^{{10}}}{{b}^{{10}}}}}{{21600}} + \tfrac{{{{a}^{{12}}}{{b}^{{12}}}}}{{518400}}. \\ \end{gathered} $

6. БЛАГОДАРНОСТИ

Исследования, представленные в работе, были выполнены при поддержке следующих фондов: второй автор использовал поддержку гранта РНФ 18-71-10007 (разработка и программная реализация алгоритма); третий автор поддержан грантом РФФИ 19-31-60012 (постановка технического задания для разработки алгоритма, тестирование, вычисление примеров).

Список литературы

  1. von zur Gathen J., Gerhard J. Modern Computer Algebra (3rd edition), Cambridge University Press, 2013.

  2. Капцов О.В. Системы образующих идеалов алгебры сходящихся дифференциальных рядов // Программирование. 2014. № 2. С. 32–40.

  3. Bykov V.I., Kytmanov A.M., Lazman M.Z. Elimination methods in polynomial computer algebra. Dodrecht–Boston–Basel: Kluwer Academic Publishers, 1998.

  4. Айзенберг Л.А. Об одной формуле обобщенного многомерного логарифмического вычета и решении систем нелинейных уравнений // Докл. АН СССР. 1977. Т. 234. № 3. С. 505–508.

  5. Кытманов А.А. Об аналогах рекуррентных формул Ньютона // Изв. вузов. Математика, 2009. № 10. С. 40–50.

  6. Кытманов А.А. Алгоритм вычисления степенных сумм корней для класса систем нелинейных уравнений // Программирование. 2010. Т. 36. № 2. С. 55–63.

  7. Kytmanov A.A., Kytmanov A.M., Myshkina E.K. Finding Residue Integrals for Systems of Non-algebraic Equations in ${{\mathbb{C}}^{n}}$ // Journal of Symbolic Computation. 2015. V. 66. P. 98–110.

  8. Elkadi M., Yger A. Residue calculus and applications // Publ. Res. Inst. Math. Sci. 2007. V. 43. № 1. P. 55–73.

  9. Kytmanov A.M., Naprienko Ya.M. An approach to define the resultant of two entire functions // Journal Complex Variables and Elliptic Equations. 2017. V. 62. № 2. P. 269–286.

  10. Kytmanov A.M., Myshkina E.K. On Some Approach for Finding the Resultant of Two Entire Functions // J. Siberian Federal Univ. Math. Phys. 2019. V. 12. № 4. P. 434–438.

  11. Kytmanov A.M., Myslivets S.G. On the Zeta-Function of Systems of Nonlinear Equations // Siberian Math. J. 2007. V. 48. № 5. P. 863–870.

  12. Kuzovatov V.I., Kytmanov A.A. On the Zeta-Function of Zeros of Some Class of Entire Functions // J. Siberian Federal Univ. Math. Phys. 2014. V. 7. № 4. P. 489–499.

  13. Кузоватов В.И., Кытманов А.А., Кузоватова О.И. Алгоритм построения аналога формулы Бине // Программирование. 2020. № 2. С. 38–42.

  14. Бурбаки Н. Алгебра. Многочлены и поля, упорядоченные группы. М.: Наука, 1965.

  15. Курош А.Г. Курс высшей алгебры. М.: Наука, 1968.

  16. van der Waerden B.L. Algebra. Berlin–Heidelderg–New York: Springer-Verlag, 1966.

  17. Krein M.G., Naimark M.A. The Method of Symmetric and Hermitian Forms in the Theory of the Separation of the Roots of Algebraic Equation // Linear and Multilinear Algebra. 1981. V. 10. № 4. P. 265–308.

  18. Gohberg I.C., Heinig G. Resultant Matrix and its Generalization. I. Resultant Operator of Matrix Polynomial // Acta Sci. Math. 1975. V. 72. P. 41–61.

  19. Gohberg I.C., Heinig G. Resultant Matrix and its Generalization. II. Continual Analog of Resultant Matrix // Acta Math. Acad. Sci. Hungar. 1976. V. 28. P. 189–209.

  20. Gohberg I.C., Lerer L.E. Resultant Operators of a Pair of Analytic Functions // Proc. Amer. Math. Soc. 1978. V. 72. № 1. P. 65–73.

  21. Gustafsson B., Tkachev V.G. The Resultant on Compact Riemann Surfaces // Comm. Math. Phys. 2009. V. 10. P. 265–308.

  22. Morozov A.Yu., Shakirov Sh.R. New and Old Results in Resultant Theory // Theor. Math. Phys. 2010. V. 163. № 2. P. 587–617.

  23. Быков В.И., Цыбенова С.Б. Нелинейные модели химической кинетики. М.: КРАСАНД, 2011.

  24. Kytmanov A.M., Khodos O.V. On Localization of Zeros of an Entire Function of Finite Order of Growth // Complex variables and operator theory. 2017. V. 11. № 2. P. 393–416.

  25. Kytmanov A.M., Khodos O.V. An Approach to the Determination of the Resultant of Two Entire Functions // Russian Mathematics. 2018. V. 62. № 4. P. 42–51.

Дополнительные материалы отсутствуют.