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

2023年 6月15日 ~ 18日

P000062

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

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



Supported by SmartChair

Math formula preview: