Coq; Formalization; Limits; Continuous functions Closed intervals;
机译:闭区间上连续非递减函数的P-迭代,SP-迭代和D-迭代方法的收敛速度
机译:在封闭区间上测试连续函数的正弦逼近的点状和均匀收敛
机译:可以通过某些属性定义连续函数的最通用封闭点集
机译:封闭函数上最多具有有限UV点的连续函数的Hausdorff维数
机译:关于简单C *代数的分类,它们是频谱为闭合区间[0,1]的连续迹C *代数的归纳极限。
机译:短期连续和间歇运动训练对糖尿病前期内皮功能和葡萄糖代谢的影响
机译:多项式在闭合间隔内多项式的单面加权积分近似
机译:递归定义函数性质的形式化