中国科学院数学与系统科学研究院期刊网
JSSC
Permutation-Symmetric Tensors with Applications in Automated Proof of Positive Definite Homogeneous Polynomials
XIONG Beibei, LU Jian, WEI Tanrong, ZENG Zhenbing, YANG Zhengfeng
Permutation-Symmetric Tensors with Applications in Automated Proof of Positive Definite Homogeneous Polynomials
XIONG Beibei, LU Jian, WEI Tanrong, ZENG Zhenbing, YANG Zhengfeng
系统科学与复杂性(英文) . 2026, (): 0 .