The degree-decreasing decomposition of symmetric forms with a program for algebraic inequality decision. (Chinese. English summary) Zbl 1289.68128
MSC:
68T15
68W30