...
机译:用连续策略直接由Sperner引理和近似Nash平衡证明Fan-Glicksberg不动点定理的构造形式的证明:构造分析
机译:局部凸空间中按顺序局部非恒定多功能的Fan-Glicksberg不动点定理的构造证明
机译:局部凸空间中按顺序局部非恒定多功能的Fan-Glicksberg不动点定理的构造证明
机译:顺序局部非恒定和一致顺序连续函数的Brouwer不动点定理的构造证明
机译:CM策略:一种归纳定理证明或建设性广泛证据的方法
机译:Brouwer不动点定理定理的构造性证明 局部非常数和均匀顺序连续的函数 斯珀纳的引理