Пургин, А. В. О дистрибутивных решетках правых делителей линейных обыкновенных дифференциальных операторов [Текст] / А. В. Пургин> // Программирование. - 2009. - N 2. - С. 53-62. - Библиогр.: с. 62 (16 назв. ) . - ISSN 0132-3474
Рубрики: Вычислительная техника Прикладные информационные (компьютерные) технологии в целом Кл.слова (ненормированные): дистрибутивные решетки -- теория решеток -- линейные дифференциальные операторы -- алгоритмы построения -- ЛОДО Аннотация: Рассмотрены некоторые комбинаторные вопросы теории факторизации линейных обыкновенных дифференциальных операторов и конструктивно доказана теорема о том, что любая конечная дистрибутивная решетка является решеткой правых делителей некоторого даламберова линейного обыкновенного дифференциального оператора с коэффициентами из дифференциального поля C[x] рациональных функций. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Соснин, М. В. Алгоритм декомпозиции дифференциальных многочленов в общем случае [Текст] / М. В. Соснин> // Программирование. - 2011. - N 4. - С. 9-15. . - Библиогр.: с. 14-15 (13 назв. )
Рубрики: Вычислительная техника Прикладные информационные (компьютерные) технологии в целом Математика Алгебра Кл.слова (ненормированные): линейные обыкновенные дифференциальные операторы -- ЛОДО -- алгоритмы декомпозиции -- дифференциальные многочлены -- теоремы Вандермонда -- Вандермонда теоремы Аннотация: Работа посвящена теории декомпозиции дифференциальных многочленов. Показано, что проблема декомпозиции сводится к проблеме факторизации линейных обыкновенных дифференциальных операторов (ЛОДО). Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Абрамов, С. А. Семинар по компьютерной алгебре в 2011-2012 гг. [Текст] / С. А. Абрамов, А. А. Боголюбская, В. А. Ростовцев> // Программирование. - 2013. - № 2. - С. 3-10. - Библиогр.: с. 9-10 (11 назв.) . - ISSN 0132-3474
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника, 2011-2012 гг. Кл.слова (ненормированные): научно-исследовательские семинары -- годовые отчеты -- фейнмановские интегралы -- линейные обыкновенные дифференциальные операторы -- ЛОДО -- верификация программ -- линейные уравнения -- эллиптические кривые -- математическое моделирование -- компьютерное моделирование Аннотация: Годовой отчет о работе научно-исследовательского семинара по компьютерной алгебре. Доп.точки доступа: Боголюбская, А. А.; Ростовцев, В. А. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |