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

В работе построен алгоритм, который по данному компактному ориентируемому неприводимому гранично неприводимому трехмерному многообразию $M$ и данному числу $N\ge0$ выясняет, содержит ли $M$ существенную ориентируемую поверхность (возможно, с краем), род которой не превосходит $N$. Алгоритм основан на теории нормальных поверхностей Хакена и на предложенном Джейко приеме оценки средней длины граничных кривых, лежащих в данном многообразии неизвестной существенной поверхности данного рода.
Библиография: 5 названий.