机译:关于有限和正则集的计算机证明:子方差的统一概念
机译:有限集上所有正则拓扑和等价关系的构造和枚举的计算机程序
机译:通过计算机辅助线性代数获得数学概念并学习证明
机译:超越娱乐和培训的老年人电脑游戏:可能的早期警告概念和概念证明的可能工具
机译:确定的n-正则和几乎n-正Hermitian形式的有限性结果
机译:与计算机辅助骨再生相关的计算机引导植入物施用在萎缩部分透明的肺泡脊上:概念证据研究
机译:Grothendieck的证明 - 对主要G束上的serre猜想 包含有限域的常规局部环