中国科学院数学与系统科学研究院期刊网
An Algorithm to Represent Positive Semi-Definite Polynomials to Sum of Lader-Like Squares of Polynomials with Rational Coefficients
HUANG Yong, ZENG Zhenbing, YANG Lu, RAO Yongsheng
Journal of System Science and Mathematical Science Chinese Series . 2024, (5): 1241 -1271 .  DOI: 10.12341/jssms23584CM