Юлия Ивановна Зайцева, "Базисы Грёбнера"

доклад на мини-конференции 15 февраля 2025, в рамках Дня математика в 179 школе. аннотация: Как понять, есть ли решения у системы уравнений? Конечно или бесконечно число таких решений? Можно ли написать программу, которая отвечает на эти вопросы? Если уравнения системы имеют вид f=0, где f — многочлены от нескольких переменных, то решить эти задачи позволяют так называемые базисы Грёбнера. Я расскажу про то, откуда они берутся, как их искать и где применять. Алгоритм Бухбергера построения базисов Грёбнера основан на обобщении деления многочленов в столбик. От слушателей желательно умение делить в столбик многочлены от одной переменной (или хотя бы числа). другие доклады конференции: https://server.179.ru/wiki/?page=matematika/denmatematika