Поисковый запрос: (<.>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)
Найти похожие
|
|
|
|
БД "Книги"
Стандартный
Главная
Описание
Шлюз Z39.50