混合三角函数多项式的优化问题

作者：陈世平; 陈果

来源：数学的实践与认识, 2023, 53(06): 262-271.

• 混合三角函数多项式
• 实根分离
• 自动证明
• 最优化

在混合三角函数多项式不等式的自动证明以及实根分离算法的基础上,设计算法求任意有理混合三角函数多项式在区间[0,π/2]内的最大最小值,或给出其最大最小值的估计区间,区间长度可以小于事先给定的任意正常数.

• 单位
  西南科技大学; 四川财经职业学院