第七届全国计算机数学学术会议

From 2015/10/30 to 2015/11/2

P000013

有限维复对称算子及UET矩阵的机械化判别算法  

*朋 夏 (辽宁大学数学院)
树功 张 (吉林大学)
娜 雷 (吉林大学)
宝欣 尚 (吉林大学)



Supported by SmartChair

Math formula preview: