Основа Грёбнера
Основа Гребнера Основы теории базисов Гребнера Базисы Гребнера – это наборы многочленов, которые порождают идеал и имеют определенные свойства. Базисы […]
Вики
Компьютерная алгебра
Вики
Международный симпозиум по символическим и алгебраическим вычислениям
Международный симпозиум по символьным и алгебраическим вычислениям Обзор ISSAC ISSAC – это международный симпозиум по символьным и алгебраическим вычислениям. Конференция
Вики
Символическая интеграция
Символическая интеграция Основы символической интеграции Символическая интеграция – это процесс вычисления интегралов с использованием математических формул. Интегрирование является фундаментальной операцией
Вики
Свежая переменная
Новая переменная Определение новой переменной Новая переменная – это переменная, не встречавшаяся в контексте до этого. Используется для замены других
Вики
Синтетический отдел
Синтетический отдел Синтетическое деление – метод ручного выполнения евклидова деления многочленов. Метод используется для деления на линейные монические многочлены (правило
Вики
Автоматическое дифференцирование
Автоматическая дифференциация Градиент функции вычисляется с использованием правила цепочки и развертки вычислительного графа. Прямое накопление вычисляет функцию и производную за
Вики
Алгоритм Риша
Алгоритм Риша Алгоритм Риша – метод неопределенного интегрирования в символьных вычислениях. Разработан американским математиком Робертом Генри Ришем в 1968 году.
Вики
Элементарная функция
Элементарная функция Элементарная функция – это функция одной переменной, определяемая как сумма, произведение и композиции конечного числа полиномиальных, рациональных и
Вики
Проверка полиномиальной идентичности
Проверка полиномиальной идентичности Проверка идентичности полиномов (PIT) является важной задачей в области алгебраической сложности вычислений. Вопрос о равенстве двух многочленов
Вики
Полиномиальное длинное деление
Многочленное деление в длину Многочленное деление в длину – алгоритм деления многочленов на многочлены. Алгоритм использует последовательное деление членов делимого
Вики
Наибольший общий делитель полинома
Наибольший общий делитель многочлена Алгоритм Евклида используется для вычисления наибольшего общего делителя двух многочленов. Расширенный алгоритм GCD предлагает эффективный способ
Вики
Факторизация полиномов
Разложение многочленов на множители Факторизация многочленов является важной задачей в математике. Существует множество методов факторизации, включая разложение на множители по
Вики
Бесквадратный многочлен
Бесквадратный многочлен Бесквадратный многочлен – одномерный многочлен без кратного корня в алгебраически замкнутом поле. В характеристике 0 или над конечным
Вики
Теория устранения
Теория исключения Теория исключения – раздел математики, изучающий методы решения систем полиномиальных уравнений. Развитие теории исключения было вызвано необходимостью в
Вики
Размерность алгебраического многообразия
Размерность алгебраического многообразия Размерность многообразия – это число, которое описывает его топологическое и алгебраическое строение. Размерность многообразия не меняется при
Вики
Цилиндрическое алгебраическое разложение
Цилиндрическое алгебраическое разложение Цилиндрическая алгебраическая декомпозиция (CAD) является фундаментальным понятием в компьютерной алгебре и реальной алгебраической геометрии. CAD представляет разложение
Вики
Система полиномиальных уравнений
Система полиномиальных уравнений Системы полиномиальных уравнений могут быть решены численно с использованием различных алгоритмов. RUR (равнопрогнозируемая декомпозиция) является одним из