机译:$ n $ -Cube的Blakers-Massey定理的纯同伦理论证明
机译:结构环光谱的更高同伦切除和Blakers-Massey定理
机译:与循环六边形相关的六个外心上道定理的纯合成证明
机译:无限局部立方体中的弱测地线拓扑和固定的有限子图定理II。固定的子图属性和无限的树状局部立方体
机译:方程和归纳定理的证明搜索和证明检查
机译:(新)直接乘积定理的新证明。
机译:定理证明实例和规则的做法流行病学
机译:n-CUBEs的BLaKERs-massEY定理的纯粹同伦理论证明
机译:不变流形的线性化及R Cubed向量场退化奇性的Hartman-Grobman定理的推广