过程的精确界
Exact bounds on epsilon processes
摘要：
本文证明了用序递归法可以最优地计算出换元法中逼近过程的长度。
英文摘要：
In this paper we show that the lengths of the approximating processes in epsilon substitution method are calculable by ordinal recursions in an optimal way.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
