...
机译:吉布森稳定性定理的构造证明
L.M.A.M., CNRS-UMR 7122 Universite de Metz Ile du Saulcy, 57045 Metz Cedex 01, Prance;
Dipartimento di Matematica Universita di Roma 'Tor Vergata' Via della Ricerca Scientifica 1, 00133 Roma, Italy;
dimension theory; poincare recurrences; multifractal analysis;
机译:用连续策略直接由Sperner引理和近似Nash平衡证明Fan-Glicksberg不动点定理的构造形式的证明:构造分析
机译:切线方向定理和隐函数定理的构造形式的初等证明
机译:互动定理证明者Matita证明了勒贝格的主导收敛定理的建设性和形式化证明
机译:有限确定性两方函数的构造定理的完备性定理
机译:(新)直接乘积定理的新证明。
机译:定理证明实例和规则的做法流行病学
机译:吉布森稳定性定理的构造证明
机译:关于F(x)= y的定理的构造证明,应用。