机译:通过多项式相关性的新算法对Abhyankar-Moh-Suzuki定理的新证明
Abhyankar-Moh-Suzuki theorem; minimal polynomial dependence; degree semigroup;
机译:通过多项式相关性的新算法对Abhyankar-Moh-Suzuki定理的新证明
机译:多项式环的Suslins稳定性定理的算法证明
机译:多项式van der Waerden定理和多项式Hales-Jewett定理的组合证明
机译:使用进化算法和证明助手自动证明数学定理
机译:(新)直接乘积定理的新证明。
机译:Szász-Durrmeyer型算子的量化-Voronovskaya型和Grüss-Voronovskaya型定理与多个Appell多项式混合
机译:多项式环的Suslin稳定性定理的算法证明
机译:多项式时间线性规划算法的简单复杂性证明。