Поисковый запрос: (<.>K=компьютерная алгебра<.>) |
Общее количество найденных документов : 37
Показаны документы с 1 по 20 |
|
>1.
|
Быков, В. И. Степенные суммы нелинейных систем уравнений [Текст] / В. И. Быков, А. М. Кытманов, С. Г. Мысливец> // Доклады Академии наук. - 2007. - Т. 416, N 1. - С. . 7-10. - Библиогр.: с. 10 (6 назв. )
ББК 22.19 Рубрики: Математика--Вычислительная математика Кл.слова (ненормированные): компьютерная алгебра -- алгебраические уравнения -- логарифмический вычет -- вычет Гротендика -- Гротендика вычет -- формулы Ньютона -- Ньютона формулы -- ряды Тейлора -- Тейлора ряды Аннотация: Изучены степенные суммы корней в отрицательной степени и приведены точные формулы для их вычисления.
Доп.точки доступа: Кытманов, А. М.; Мысливец, С. Г. Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>2.
|
Семинар по компьютерной алгебре в 2006-2007 гг. [Текст] / С. А. Абрамов [и др. ]> // Программирование. - 2008. - N 2. - С. 3-8. - Библиогр.: с. 8 (11 назв. )
ББК 32.973-018 Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): семинары -- компьютерная алгебра -- годовые отчеты -- доклады -- системное программирование Аннотация: Годовой отчет о работе научно-исследовательского семинара по компьютерной алгебре.
Доп.точки доступа: Боголюбская, И. А.; Ростовцев, В. А.; Еднераль, В. Ф.; Абрамов, С. А. Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>3.
|
Абрамов, С. А. Об одной компьютерно-алгебраической технологии [Текст] / С. А. Абрамов, А. А. Рябенко> // Программирование. - 2008. - N 2. - С. 9-13. - Библиогр.: с. 13 (4 назв. )
ББК 32.973-018 Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): компьютерные технологии -- алгебраические технологии -- компьютерная алгебра -- математические теории -- математические задачи Аннотация: В статье подробно прослеживается путь получения одного математического результата, сформулированного в виде теоремы.
Доп.точки доступа: Рябенко, А. А. Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>4.
|
Вольф, Т. Решение больших систем полиномиальных уравнений, возникающих в дискретной дифференциальной геометрии [Текст] / Т. Вольф> // Программирование. - 2008. - N 2. - С. 20-32. - Библиогр.: с. 32 (16 назв. )
ББК 22.14 Рубрики: Математика Алгебра Кл.слова (ненормированные): полиномиальные уравнения -- методы решения уравнений -- дифференциальные уравнения -- компьютерная алгебра -- переопределенные системы уравнений Аннотация: Описывается достаточно общий метод решения больших переопределенных полиномиальных уравнений.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>5.
|
Поляков, С. П. Неопределенное суммирование рациональных функций с дополнительной минимизацией просуммированной части [Текст] / Поляков С. П.> // Программирование. - 2008. - N 2. - С. 48-53. - Библиогр.: с. 53 (8 назв. )
ББК 32.973-018 Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): алгоритмы неопределенного суммирования -- задачи неопределенного суммирования -- суммирование рациональных функций -- компьютерная алгебра Аннотация: Предлагается алгоритм неопределенного суммирования рациональных функций.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>6.
|
Семенов, А. С Инволютивные деления и мономиальные упорядочения [Текст]. Ч. 2 / А. С. Семенов, П. А. Зюзиков> // Программирование. - 2008. - N 2. - С. 61-66. - Библиогр.: с. 66 (17 назв. )
ББК 32.973-018 Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): инволютивные базисы -- инволютивные деления -- компьютерная алгебра -- мономиальные упорядочения -- теория инволютивных делений Аннотация: Статья продолжает исследования авторов в области классификационных свойств инволютивных делений.
Доп.точки доступа: Зюзиков, П. А. Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>7.
|
Бобков, С. Г. (канд. техн. наук). Методы повышения эффективности контроллера коммутатора Ethernet 10/100 Мбит/с [Текст] / С. Г. Бобков> // Информационные технологии. - 2009. - N 2. - С. 14-18. . - Библиогр.: с. 18 (7 назв. )
ББК 32.974 Рубрики: Вычислительная техника Неэлектронные вычислительные машины и устройства Кл.слова (ненормированные): контроллеры коммутатора Ethernet -- адресные таблицы -- МАС-адреса -- хэш-функции -- АТ -- компьютерная алгебра Аннотация: Рассматриваются методы повышения эффективности контроллера коммутатора Ethernet 10/100 Мбит/с, использованные при разработке микросхемы 1890КП1Я.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>8.
|
Жуков, О. Д. (канд. техн. наук, вед. науч. сотр.). Модулярные числовые системы в криптографии [Текст] / О. Д. Жуков> // Информационные технологии. - 2009. - N 2. - С. 44-49. . - Библиогр.: с. 49 (3 назв. )
ББК 32.973-018 Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): модулярные числовые системы -- компьютерная алгебра -- информационная безопасность -- криптография -- умножения Монтгомери -- Монтгомери умножения -- алгоритмы вычислений Аннотация: Модулярные экспоненциальные вычисления составляют основу многих криптографических методов. Эта статья обсуждает возможность создания эффективных систем, ориентированных на использование модулярных числовых систем и известного метода умножения Монтгомери.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>9.
|
Семинар по компьютерной алгебре в 2007-2008 гг. [Текст] / С. А. Абрамов [и др. ]> // Программирование. - 2009. - N 2. - С. 3-9. - Библиогр.: с. 9 (12 назв. )
. - ISSN 0132-3474ББК 32.973-018 Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): семинары -- компьютерная алгебра -- годовые отчеты -- доклады -- системное программирование Аннотация: Годовой отчет о работе научно-исследовательского семинара по компьютерной алгебре.
Доп.точки доступа: Абрамов, С. А.; Ростовцев, В. А.; Еднераль, В. Ф.; Боголюбская, И. А. Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>10.
|
Баранов, Д. В. (аспирант). Логические уравнения в эквациональных LP-структурах [Текст] / Д. В. Баранов> // Информационные технологии. - 2012. - № 8. - С. 35-42. - Библиогр.: с. 42 (11 назв.)
. - ISSN 1684-6400ББК 32.813 Рубрики: Радиоэлектроника Искусственный интеллект. Экспертные системы Кл.слова (ненормированные): логические уравнения -- СПТ -- системы переписывания термов -- термы -- алгебраические модели -- эквациональные LP-структуры -- компьютерная алгебра Аннотация: В статье определяется алгебраическая система с семантикой совокупности правил условной эквациональной теории или условной системы переписывания термов.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>11.
|
Чайкин, С. В. О гироскопической стабилизации относительных равновесий орбитального осесимметричного гиростата [Текст] / С. В. Чайкин, А. В. Банщиков> // Математическое моделирование. - 2013. - Т. 25, № 5. - С. 109-122 : 5 рис. - Библиогр.: с. 121-122 (15 назв. )
. - ISSN 0234-0879ББК 22.19 + 22.19 Рубрики: Математика Вычислительная математика Кл.слова (ненормированные): центральное ньютоновское поле сил -- гироскопическая стабилизация -- компьютерная алгебра -- устойчивость положений равновесия Аннотация: Получены условия на параметры системы, обеспечивающие устойчивость или неустойчивость относительных равновесий осесимметричного гиростата с постоянным вектором гиростатического момента на круговой орбите. Проведен параметрический анализ условий гироскопической стабилизации неустойчивых равновесий гиростата. Исследования выполнены с помощью программного комплекса LinModel и функций символьно-численного моделирования пакета компьютерной алгебры Mathematica.
Доп.точки доступа: Банщиков, А. В. Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>12.
|
Иртегов, В. Д. Методы компьютерной алгебры в исследовании нелинейных дифференциальных систем [Текст] / В. Д. Иртегов, Т. Н. Титоренко> // Журнал вычислительной математики и математической физики. - 2013. - Т. 53, № 6. - С. 1027-1040. - Библиогр.: c. 1040
. - ISSN 0044-4669ББК 22.19 Рубрики: Математика Вычислительная математика Кл.слова (ненормированные): анализ дифференциальных уравнений -- динамические системы -- дифференциальные уравнения -- качественный анализ -- компьютерная алгебра -- первые интегралы -- стационарные множества Аннотация: Обсуждаются некоторые вопросы использования методов компьютерной алгебры в качественном анализе дифференциальных уравнений с первыми интегралами. Рассматриваются задачи выделения стационарных множеств и исследования устойчивости и бифуркаций такого типа решений. Специальное внимание обращено на алгоритмы выделения и анализа особых стационарных множеств. Показано, что сочетание средств компьютерной алгебры с методами качественного анализа дифференциальных уравнений позволяет не только повысить вычислительную эффективность используемых классических алгоритмов, но и реализовать новые подходы при решении известных задач и получать новые результаты на этом пути.
Доп.точки доступа: Титоренко, Т. Н. Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>13.
|
Капцов, О. В. Системы образующих идеалов алгебры сходящихся дифференциальных рядов [Текст] / О. В. Капцов> // Программирование. - 2014. - № 2. - С. 32-40. - Библиогр.: с. 40 (23 назв.)
. - ISSN 0132-3474ББК 32.973-018 Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): Гребнера базис -- базис Гребнера -- дифференциальная алгебра -- дифференциальные ряды -- компьютерная алгебра -- сходящиеся степенные ряды -- точечные решения Аннотация: Рассматривается дифференциальная алгебра сходящихся степенных рядов, т произвольного конечного числа переменных.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>14.
|
Осипов, Н. Н. О механическом доказательстве планиметрических теорем рационального типа [Текст] / Н. Н. Осипов> // Программирование. - 2014. - № 2. - С. 41-50. - Библиогр.: с. 50 (10 назв.)
. - ISSN 0132-3474ББК 32.973-018.2 Рубрики: Вычислительная техника Прикладные информационные (компьютерные) технологии в целом Кл.слова (ненормированные): Гребнера базис -- Морли теорема -- базис Гребнера -- компьютерная алгебра -- механические методы -- параметризации треугольников -- планиметрические теоремы -- теорема Морли -- теоремы рационального типа Аннотация: Предлагается элементарный подход к механическому доказательству планиметрических теорем рационального типа.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>15.
|
Прокопеня, А. Н. Символьные вычисления в исследованиях проблемы трех тел с переменными массами [Текст] / А. Н. Прокопеня, М. Дж Минглибаев, Г. М. Маемерова> // Программирование. - 2014. - № 2. - С. 51-59. - Библиогр.: с. 59 (13 назв.)
. - ISSN 0132-3474ББК 22.19 Рубрики: Математика Вычислительная математика Кл.слова (ненормированные): вековые возмущения -- возмущающие функции -- дифференциальные уравнения -- задачи трех тел -- компьютерная алгебра -- орбитальные элементы -- символьные вычисления -- численные методы Аннотация: Рассматривается классическая задача трех тел с переменными массами в случае, когда массы всех трех тел системы изменяются изотропно.
Доп.точки доступа: Минглибаев, М. Дж; Маемерова, Г. М. Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>16.
|
Качественное исследование модели гена с использованием алгоритмов компьютерной алгебры [Текст] / Франсуа Булье [и др.]> // Программирование. - 2015. - № 2. - С. 46-53. - Библиогр.: с. 53 (17 назв.)
. - ISSN 0132-3474ББК 32.973-018.2 Рубрики: Вычислительная техника Прикладные информационные (компьютерные) технологии в целом Кл.слова (ненормированные): Ляпунова функции -- ОДУ -- инвариантные плоскости -- инвариантные поверхности -- исследования -- компьютерная алгебра -- модели гена -- обыкновенные дифференциальные уравнения -- функции Ляпунова Аннотация: С использованием алгоритмов и пакетов систем компьютерной алгебры проведено качественное исследование трехмерной автономной системы ОДУ, использованной в работе для моделирования динамики гена.
Доп.точки доступа: Булье, Ф.; Маоан Хан; Лемер, Ф.; Романовский, Валерий Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>17.
|
Кулябов, Д. С. Применение двух типов систем компьютерной алгебры для решения задач максвелловской оптики [Текст] / Д. С. Кулябов> // Программирование. - 2016. - № 2. - С. 22-31. - Библиогр.: с. 31 (33 назв.)
. - ISSN 0132-3474ББК 32.973-018 Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): векторные исчисления -- геометризация уравнений -- компьютерная алгебра -- максвелловская оптика -- тензорные исчисления Аннотация: При решении задачи синтеза оптических систем на основе максвелловской оптики используется математический аппарат тензорного и векторного исчислений.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>18.
|
Кытманов, А. А. Алгоритм построения форм объема на торических многообразиях по выпуклому целочисленному многограннику [Текст] / А. А. Кытманов, А. В. Щуплев, Т. В. Зыкова> // Программирование. - 2016. - № 2. - С. 32-40. - Библиогр.: с. 40 (13 назв.)
. - ISSN 0132-3474ББК 32.973-018 Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): алгебраическая геометрия -- компьютерная алгебра -- торические многообразия -- целочисленные многогранники Аннотация: Приводится метод и соответствующий алгоритм построения форм объема на торических многообразиях и связанных с ними форм, служащих ядрами интегральных представлений, по выпуклому целочисленному многограннику.
Доп.точки доступа: Щуплев, А. В.; Зыкова, Т. В. Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>19.
|
Панферов, А. А. О разбиениях множества выделенных неизвестных в линейных дифференциально-алгебраических системах [Текст] / А. А. Панферов> // Программирование. - 2016. - № 2. - С. 41-48. - Библиогр.: с. 48 (6 назв.)
. - ISSN 0132-3474ББК 22.161.6 Рубрики: Математика Дифференциальные и интегральные уравнения Кл.слова (ненормированные): алгебраические системы -- дифференциальные системы -- компьютерная алгебра -- линейные системы -- операторные матрицы Аннотация: В статье рассматриваются линейные дифференциально-алгебраические системы.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
>20.
|
Банщиков, А. В. Параметрический анализ условий гироскопической стабилизации относительных равновесий сплюснутого осесимметричного гиростата [Текст] / А. В. Банщиков> // Математическое моделирование. - 2016. - Т. 28, № 4. - С. 33-42. - Библиогр.: с. 42
. - ISSN 0234-0879ББК 22.19 Рубрики: Математика Вычислительная математика Кл.слова (ненормированные): LinModel комплекс -- гироскопическая стабилизация -- комплекс LinModel -- компьютерная алгебра -- программный комплекс -- системы неравенств -- стационарный гиростат -- степень неустойчивости -- устойчивость положений равновесия Аннотация: Проведен параметрический анализ условий гироскопической стабилизации неустойчивых равновесий указанного в заголовке орбитального гиростата. Сформулированы утверждения о решении соответствующей системы неравенств в виде интервалов значений параметра, определяющего одну из двух ненулевых компонент постоянного вектора гиростатического момента. Исследования выполнены с помощью программного комплекса LinModel и функций символьно-численного моделирования пакета компьютерной алгебры Mathematica.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1) Свободны: ч.з. (1)
Найти похожие
|
|
|