单位区间上迭代的亚稳率
Rates of metastability for iterations on the unit interval
摘要：
我们使用证明挖掘技术提取可计算的和统一的亚稳定性（在陶的意义上）的迭代单位区间上的连续函数，首先（以下早期工作的加斯帕）的收敛性证明，由于弗兰克斯，Marzec，Rhoades和Hillam，然后出一个参数，由于Borwein和Borwein只涉及Lipschitz功能。
英文摘要：
We use techniques of proof mining to extract computable and uniform rates of metastability (in the sense of Tao) for iterations of continuous functions on the unit interval, firstly (following earlier work of Gaspar) out of convergence proofs due to Franks, Marzec, Rhoades and Hillam and then out of an argument due to Borwein and Borwein that pertains only to Lipschitz functions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
