Алгоритмическая неразрешимость задачи о нахождении базиса конечной полной системы полиномов с целыми коэффициентами

N. Alexiadis

National Research University "Moscow Power Engineering Institute"