机译:关于F.E. Browder和R.Wittmann的定理的定量版本
Functional interpretation; Metastability; Nonexpansive mappings; Proof mining;
机译:关于F.E. Browder和R.Wittmann的定理的定量版本
机译:Fan-Browder不动点定理的新拓扑版本
机译:Frechet空间的Krein定理的定量版本
机译:集差分差分和CHOW定理版本的NONNSMOOTH版本
机译:加权ergodic定理的定性和定量分析
机译:零迹矩阵的换向定理的定量版本
机译:关于F.E. Browder和R.Wittmann的定理的定量版本
机译:ada编译器验证摘要报告。证书编号:890919W1.10169,R.R。software,Inc。Janus / ada,版本2.1.3 Hewlett packard Vectra Rs / 20C。完成现场测试:1989年9月19日。