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

2023年 6月15日 ~ 18日
P000062

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

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