第十三届中国数学会计算机数学大会

2023年 6月15日 ~ 18日

P000062

Permutation symmetric tensors with applications in automated proof of positive definite homogeneous polynomials  

魏昙荣 (上海大学理学院)
*曾振柄 (上海大学理学院)
杨争峰 (华东师范大学软件工程学院)
秦小林 (中国科学院成都计算机应用研究所)



Supported by SmartChair

Math formula preview: