机译:Peter-Weyl定理的建设性证明
Constructive mathematics; compact group; Peter-Weyl theorem; C*-algebra; Burnside's algorithm;
机译:Peter-Weyl定理的建设性证明
机译:切线方向定理和隐函数定理的构造形式的初等证明
机译:互动定理证明者Matita证明了勒贝格的主导收敛定理的建设性和形式化证明
机译:有限确定性两方函数的构造定理的完备性定理
机译:Peter-Weyl定理在非阿贝尔格规理论中的应用
机译:定理证明实例和规则的做法流行病学
机译:普通微分方程Cauchy-Kovalevskaya定理的建设性证据
机译:关于F(x)= y的定理的构造证明,应用。