机译:Subanalytic家庭的Pila-Wilkie定理:复杂的分析方法
机译:T模和Pila-Wilkie估计
机译:类型为E_6和E_7的Chevalley组的A_3-结构定理的证明II。主要莱玛
机译:强函数表示引理及其在编码定理中的应用
机译:关于从C2到Q_(n-1)(C)的全纯映射的第一个主定理
机译:关于Lefschetz定理和Enriques-Severi-Zariski引理
机译:亚分析家族的pila-Wilkie定理:一个复杂的分析 途径
机译:一种用于递归函数理论的引理驱动自动定理证明器。