...
机译:Artin-Rees引理和Izumi定理的Artin函数
机译:Artin-Rees引理和Izumi定理的Artin函数
机译:统一Artin-Rees引理的残差演算方法
机译:有限相对测定和Artin-REES LEMMA
机译:来自关系类型的概念的统一艺术家定理的方法
机译:关于Artin堆栈的l-adic同调性:L函数,权重和分解定理。
机译:关于傅里叶定理的扩展给出了快速计算干扰函数中任何周期项的常数部分和系数的方法
机译:Lemme d'artin-Rees,theoreme d'Izumi et fonction de artin
机译:一种用于递归函数理论的引理驱动自动定理证明器。