https://zbmath.org/atom/cc/41A52 2024-06-14T15:52:26.737412Z Werkzeug公司 https://zbmath.org/1534.41004 2024-06-14T15:52:26.737412Z “安德烈·西波什” https://zbmath.org/authors/？q=ai:sipos.andrei 本研究的目的是应用Ulrich Kohlenbach在1990年的博士论文中设计的证明挖掘方法，在数学的各个领域——遍历理论、非扩张映射的迭代方法等——获得更强的逼近阶估计，将该方法应用于有界系数多项式对连续函数的最佳切比雪夫逼近。正如几位数学家（包括de la Vallée e Poussin）所示，证明唯一性的一个重要工具是Cebyshev的交替定理。用作者的话来说：``本文的目的是获得切比雪夫近似下的唯一模。主要的新颖之处是应用舒尔多项式为证明中所需的插值结果获得有用的显式公式。第2节介绍了这些公式以及它们的一些有界方法。然后，在第3节中，我们给出了唯一性模的实际推导，第4节中紧接着是它的直接副产品：强唯一性的相关常数和不依赖于与最佳近似值距离的下限的模。”审查人：斯特凡·科布扎什（Cluj-Napoca）