Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Статьи" - результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Гребнера базис<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.


    Галкин, В. В.
    Остановка алгоритма F5 [Текст] / В. В. Галкин // Программирование. - 2014. - № 2. - С. 12-25. - Библиогр.: с. 25 (18 назв.) . - ISSN 0132-3474
УДК
^a512
ББК 22.14
Рубрики: Математика
   Алгебра
Кл.слова (ненормированные):
F5 -- Бухбергера алгоритм -- Гребнера базис -- Фожера алгоритм -- алгоритм Бухбергера -- алгоритм Фожера -- алгоритмы -- базис Гребнера -- многочлены -- псевдокоды -- цепи S-пар
Аннотация: Данная работа показывает, что исходный алгоритм F5 завершается на любых однородных входных данных, не ссылаясь на остановку других алгоритмов. При этом не дается никакого ограничения на количество операций.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
2.


    Капцов, О. В.
    Системы образующих идеалов алгебры сходящихся дифференциальных рядов [Текст] / О. В. Капцов // Программирование. - 2014. - № 2. - С. 32-40. - Библиогр.: с. 40 (23 назв.) . - ISSN 0132-3474
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
Гребнера базис -- базис Гребнера -- дифференциальная алгебра -- дифференциальные ряды -- компьютерная алгебра -- сходящиеся степенные ряды -- точечные решения
Аннотация: Рассматривается дифференциальная алгебра сходящихся степенных рядов, т произвольного конечного числа переменных.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
3.


    Осипов, Н. Н.
    О механическом доказательстве планиметрических теорем рационального типа [Текст] / Н. Н. Осипов // Программирование. - 2014. - № 2. - С. 41-50. - Библиогр.: с. 50 (10 назв.) . - ISSN 0132-3474
УДК
^a004.9
ББК 32.973-018.2
Рубрики: Вычислительная техника
   Прикладные информационные (компьютерные) технологии в целом
Кл.слова (ненормированные):
Гребнера базис -- Морли теорема -- базис Гребнера -- компьютерная алгебра -- механические методы -- параметризации треугольников -- планиметрические теоремы -- теорема Морли -- теоремы рационального типа
Аннотация: Предлагается элементарный подход к механическому доказательству планиметрических теорем рационального типа.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
4.


    Утешев, А. Ю.
    Нахождение расстояния от эллипсоида до плоскеости и квадрики в R{n} [Текст] / А. Ю. Утешев, М. В. Яшина // Доклады Академии наук. - 2008. - Т. 419, N 4, апрель. - С. 471-474. - Библиогр.: с. 474 (6 назв. )
УДК
^a514
ББК 22.151
Рубрики: Математика
   Геометрия
Кл.слова (ненормированные):
эллипсоиды -- квадрики -- базис Гребнера -- Гребнера базис -- функции
Аннотация: Рассматривается алгебраическое исключение из системы всех переменных.


Доп.точки доступа:
Яшина, М. В.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
5.


    Брюно, А. Д.
    Разрешение алгебраической сингулярности алгоритмами степенной геометрии [Текст] / А. Д. Брюно, А. Б. Батхин // Программирование. - 2012. - № 2. - С. 11-28. - Библиогр.: с. 28 (4 назв.) . - ISSN 0132-3474
УДК
^a512
^a004.9
ББК 22.14 + 32.973-018.2
Рубрики: Математика
   Алгебра
   Вычислительная техника
   Прикладные информационные (компьютерные) технологии в целом
Кл.слова (ненормированные):
алгебраические уравнения -- алгебраическая сингулярность -- степенная геометрия -- базис Гребнера -- Гребнера базис
Аннотация: Рассматривается многочлен от трех переменных вблизи его особой точки, в которой он сам и его частные производные равны нулю.


Доп.точки доступа:
Батхин, А. Б.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
6.


    Лезин, И. А.
    Решение систем полиномиальных уравнений на ЭВМ [Текст] / И. А. Лезин // Программные продукты и системы. - 2012. - № 3. - С. 22-25 : ил.: 1 рис. - Библиогр.: с. 25 (4 назв.) . - ISSN 0236-235X
УДК
^a512
^a517
^a519.7
ББК 22.14 + 22.16 + 22.18
Рубрики: Математика
   Алгебра
   Математический анализ
   Математическая кибернетика
Кл.слова (ненормированные):
полиноминальные уравнения -- базис Гребнера -- Гребнера базис -- алгоритм Фужера -- Фужера алгоритм -- алгоритм Бухбергера -- Бухбергера алгоритм
Аннотация: Предложен ускоренный алгоритм поиска базисов Гребнера, используемых при решении систем полиномиальных уравнений. Данный алгоритм рассматривает проблему переполнения разрядной сетки и некорректных вычислений при проведении расчетов на ЭВМ.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 03.07.2024
Число запросов 49258
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)