SOS program cho inequality in 1 var

 *Degree 4.

Bất đẳng thức dạng \[x^4+ax^3+bx^2+cx+d\geqslant 0.\]

Chú ý. Hệ số của $x^4$ phải là 1.

Ví dụ.

Phần source code có thể copy hoặc download tại Github.

UPDATE 1. 

*Degree 6.

Tải code tại đây.

*Code cho bất đẳng thức bậc 6 chưa tổng quát, nhiều bài chưa thể cho SOS.