University of Toronto (Canada);
机译:投影BGG方程,代数集和爱因斯坦几何的紧致化
机译:投影BGG方程,代数集和爱因斯坦几何的紧致化
机译:典型模块的某些性质在计算射影代数几何中的应用
机译:COQ中Grassmann-Cayley代数的形式化及其在投影几何中证明的定理应用
机译:求解隐式代数方程的投影隐式Runge-Kutta方法。
机译:非线性偏微分方程及其应用:几何学中的一些非线性椭圆方程
机译:投影BGG方程,代数集和爱因斯坦几何形状的压缩