Представление полиномов в виде суммы однотипных функций

[Nimza]

Пусть $f(x,y)$ --- некоторая функция из $\mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}$. Тогда может оказаться так, что любой полином $P_{N}(x) \in \mathbb{R}[x_1,\ldots,x_n]$ степени $N$ представим в виде конечной суммы, ряда или интеграла вида

$$ P_{N}(x) = \sum_{\alpha} Q_{\alpha}(f(x,y_{\alpha})), $$

где $Q_{\alpha}$ --- функции из определённого класса (например, полиномы от одной переменной).

Например, если $f(x,y) = x \cdot y = x_1 y_1 + \ldots + x_n y_n$, то любой полином степени $N$ представим в виде конечной суммы полиномов от $f(x,y_{\alpha})$ тогда и только тогда, когда точки $y_{\alpha}$ принадлежат так называемому "n-solvable set": они должны находиться в общем положении и их должно быть не меньше $C^{n-1}_{N+n-1}$.

Мой вопрос такой: где можно почитать про такие задачи? Хотелось бы ознакомиться с предметом.