求最大的t，使得p-t可表示为多项式的平方和

hbghlyj

https://sums-of-squares.github.io/sos/index.html#python
Certificates of Positivity

郝酒

hbghlyj 发表于 2024-12-9 00:21
“最大的$t$使得$p-t$是SOS”中，这个$t$不一定是$p$的最小值，只是一个下界，可能比最小值更小。 ...

他这个实际用处不大呀，得到的系数都是近似的小数，能弄成根号之类的最好了