Утешев, А. Ю. Нахождение расстояния от эллипсоида до плоскеости и квадрики в R{n} [Текст] / А. Ю. Утешев, М. В. Яшина> // Доклады Академии наук. - 2008. - Т. 419, N 4, апрель. - С. 471-474. - Библиогр.: с. 474 (6 назв. )
Рубрики: Математика Геометрия Кл.слова (ненормированные): эллипсоиды -- квадрики -- базис Гребнера -- Гребнера базис -- функции Аннотация: Рассматривается алгебраическое исключение из системы всех переменных. Доп.точки доступа: Яшина, М. В. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Брюно, А. Д. Разрешение алгебраической сингулярности алгоритмами степенной геометрии [Текст] / А. Д. Брюно, А. Б. Батхин> // Программирование. - 2012. - № 2. - С. 11-28. - Библиогр.: с. 28 (4 назв.) . - ISSN 0132-3474
Рубрики: Математика Алгебра Вычислительная техника Прикладные информационные (компьютерные) технологии в целом Кл.слова (ненормированные): алгебраические уравнения -- алгебраическая сингулярность -- степенная геометрия -- базис Гребнера -- Гребнера базис Аннотация: Рассматривается многочлен от трех переменных вблизи его особой точки, в которой он сам и его частные производные равны нулю. Доп.точки доступа: Батхин, А. Б. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Лезин, И. А. Решение систем полиномиальных уравнений на ЭВМ [Текст] / И. А. Лезин> // Программные продукты и системы. - 2012. - № 3. - С. 22-25 : ил.: 1 рис. - Библиогр.: с. 25 (4 назв.) . - ISSN 0236-235X
Рубрики: Математика Алгебра Математический анализ Математическая кибернетика Кл.слова (ненормированные): полиноминальные уравнения -- базис Гребнера -- Гребнера базис -- алгоритм Фужера -- Фужера алгоритм -- алгоритм Бухбергера -- Бухбергера алгоритм Аннотация: Предложен ускоренный алгоритм поиска базисов Гребнера, используемых при решении систем полиномиальных уравнений. Данный алгоритм рассматривает проблему переполнения разрядной сетки и некорректных вычислений при проведении расчетов на ЭВМ. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Галкин, В. В. Остановка алгоритма F5 [Текст] / В. В. Галкин> // Программирование. - 2014. - № 2. - С. 12-25. - Библиогр.: с. 25 (18 назв.) . - ISSN 0132-3474
Рубрики: Математика Алгебра Кл.слова (ненормированные): F5 -- Бухбергера алгоритм -- Гребнера базис -- Фожера алгоритм -- алгоритм Бухбергера -- алгоритм Фожера -- алгоритмы -- базис Гребнера -- многочлены -- псевдокоды -- цепи S-пар Аннотация: Данная работа показывает, что исходный алгоритм F5 завершается на любых однородных входных данных, не ссылаясь на остановку других алгоритмов. При этом не дается никакого ограничения на количество операций. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Капцов, О. В. Системы образующих идеалов алгебры сходящихся дифференциальных рядов [Текст] / О. В. Капцов> // Программирование. - 2014. - № 2. - С. 32-40. - Библиогр.: с. 40 (23 назв.) . - ISSN 0132-3474
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): Гребнера базис -- базис Гребнера -- дифференциальная алгебра -- дифференциальные ряды -- компьютерная алгебра -- сходящиеся степенные ряды -- точечные решения Аннотация: Рассматривается дифференциальная алгебра сходящихся степенных рядов, т произвольного конечного числа переменных. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Осипов, Н. Н. О механическом доказательстве планиметрических теорем рационального типа [Текст] / Н. Н. Осипов> // Программирование. - 2014. - № 2. - С. 41-50. - Библиогр.: с. 50 (10 назв.) . - ISSN 0132-3474
Рубрики: Вычислительная техника Прикладные информационные (компьютерные) технологии в целом Кл.слова (ненормированные): Гребнера базис -- Морли теорема -- базис Гребнера -- компьютерная алгебра -- механические методы -- параметризации треугольников -- планиметрические теоремы -- теорема Морли -- теоремы рационального типа Аннотация: Предлагается элементарный подход к механическому доказательству планиметрических теорем рационального типа. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |