https://123dok.net/document/oz1r7eeq-generation-of-polynomial-inequalities-as-invariants.html