Theorem proving; Distribution theory; Statistical distributions; Probability theory;
机译:主要Bahadur-Kiefer定理的简要证明
机译:102.38康威的小定理非常短缺
机译:102.38康威的小定理非常短缺
机译:在动态几何环境中自动验证和自动发现基本几何定理
机译:(新)直接乘积定理的新证明。
机译:关于初等数论的新方法导致素数定理的初等证明
机译:主要Bahadur-Kiefer定理的简短基本证明