Реферат: В работе исследуются конечные системы уравнений диофантовых языков над гиперграфами. Показано, что алгебраическое множество, определённое произвольной системой уравнений S, может быть задано при помощи одних уравнений без констант из её радикала Rad(S) тогда и только тогда, когда гиперграф является наследственной системой неориентированного графа с петлями.

Библиографическая ссылка: Ильев А.В.
О системах уравнений над наследственными системами
Комбинаторно-вычислительные методы алгебры и логики 15-19 июл. 2024