四川师范大学数学与软件科学学院数学与软件科学学院教师个人主页

科学研究

主持国家自然科学基金：不等式基础理论研究与不等式机器证明. 2010—2012