机译:关于有限和正则集的计算机证明:子方差的统一概念
Georgia Institute of Technology, School of Mathematics, Atlanta, GA 30332-0160, USA;
finite; regularity; subvariance;
机译:有限集上所有正则拓扑和等价关系的构造和枚举的计算机程序
机译:通过计算机辅助线性代数获得数学概念并学习证明
机译:3D规则开孔结构的有限元建模概念和线性分析
机译:超越娱乐和培训的老年人电脑游戏:可能的早期警告概念和概念证明的可能工具
机译:确定的n-正则和几乎n-正Hermitian形式的有限性结果
机译:与计算机辅助骨再生相关的计算机引导植入物施用在萎缩部分透明的肺泡脊上:概念证据研究
机译:关于有限和正则集的计算机证明:子方差的统一概念