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

Базы данных


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

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

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Галкин В. В.
Заглавие : Остановка алгоритма F5
Серия: Компьютерная алгебра
Место публикации : Программирование. - 2014. - № 2. - С.12-25. - ISSN 0132-3474 (Шифр prog/2014/2). - ISSN 0132-3474
Примечания : Библиогр.: с. 25 (18 назв.)
УДК : 512
ББК : 22.14
Предметные рубрики: Математика
Алгебра
Ключевые слова (''Своб.индексиров.''): f5--бухбергера алгоритм--гребнера базис--фожера алгоритм--алгоритм бухбергера--алгоритм фожера--алгоритмы--базис гребнера--многочлены--псевдокоды--цепи s-пар
Аннотация: Данная работа показывает, что исходный алгоритм F5 завершается на любых однородных входных данных, не ссылаясь на остановку других алгоритмов. При этом не дается никакого ограничения на количество операций.
Найти похожие
2.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Капцов О. В.
Заглавие : Системы образующих идеалов алгебры сходящихся дифференциальных рядов
Серия: Компьютерная алгебра
Место публикации : Программирование. - 2014. - № 2. - С.32-40. - ISSN 0132-3474 (Шифр prog/2014/2). - ISSN 0132-3474
Примечания : Библиогр.: с. 40 (23 назв.)
УДК : 004.41/.42
ББК : 32.973-018
Предметные рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Ключевые слова (''Своб.индексиров.''): гребнера базис--базис гребнера--дифференциальная алгебра--дифференциальные ряды--компьютерная алгебра--сходящиеся степенные ряды--точечные решения
Аннотация: Рассматривается дифференциальная алгебра сходящихся степенных рядов, т произвольного конечного числа переменных.
Найти похожие
3.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Осипов Н. Н.
Заглавие : О механическом доказательстве планиметрических теорем рационального типа
Серия: Компьютерная алгебра
Место публикации : Программирование. - 2014. - № 2. - С.41-50. - ISSN 0132-3474 (Шифр prog/2014/2). - ISSN 0132-3474
Примечания : Библиогр.: с. 50 (10 назв.)
УДК : 004.9
ББК : 32.973-018.2
Предметные рубрики: Вычислительная техника
Прикладные информационные (компьютерные) технологии в целом
Ключевые слова (''Своб.индексиров.''): гребнера базис--морли теорема--базис гребнера--компьютерная алгебра--механические методы--параметризации треугольников--планиметрические теоремы--теорема морли--теоремы рационального типа
Аннотация: Предлагается элементарный подход к механическому доказательству планиметрических теорем рационального типа.
Найти похожие
4.

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

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Брюно А. Д., Батхин А. Б.
Заглавие : Разрешение алгебраической сингулярности алгоритмами степенной геометрии
Серия: Компьютерная алгебра
Место публикации : Программирование. - 2012. - № 2. - С.11-28. - ISSN 0132-3474 (Шифр prog/2012/2). - ISSN 0132-3474
Примечания : Библиогр.: с. 28 (4 назв.)
УДК : 512 + 004.9
ББК : 22.14 + 32.973-018.2
Предметные рубрики: Математика
Алгебра
Вычислительная техника
Прикладные информационные (компьютерные) технологии в целом
Ключевые слова (''Своб.индексиров.''): алгебраические уравнения--алгебраическая сингулярность--степенная геометрия--базис гребнера--гребнера базис
Аннотация: Рассматривается многочлен от трех переменных вблизи его особой точки, в которой он сам и его частные производные равны нулю.
Найти похожие
6.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Лезин И. А.
Заглавие : Решение систем полиномиальных уравнений на ЭВМ
Место публикации : Программные продукты и системы. - 2012. - № 3. - С.22-25: ил.: 1 рис. - ISSN 0236-235X (Шифр ppis/2012/3). - ISSN 0236-235X
Примечания : Библиогр.: с. 25 (4 назв.)
УДК : 512 + 517 + 519.7
ББК : 22.14 + 22.16 + 22.18
Предметные рубрики: Математика
Алгебра
Математический анализ
Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): полиноминальные уравнения--базис гребнера--гребнера базис--алгоритм фужера--фужера алгоритм--алгоритм бухбергера--бухбергера алгоритм
Аннотация: Предложен ускоренный алгоритм поиска базисов Гребнера, используемых при решении систем полиномиальных уравнений. Данный алгоритм рассматривает проблему переполнения разрядной сетки и некорректных вычислений при проведении расчетов на ЭВМ.
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 25.08.2024
Число запросов 968
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)