电脑体验，效果更佳

胡作玄图谱-自然科学领域：

相关人员

王献芬 邓明立

研究领域

数学证明 实域理论 计算机辅助证明 希尔伯特问题 中国数学史 吴文俊 四色定理 抽象代数学 拓扑学 布尔巴基学派 类域论 对策论 数学机械化 形式证明 图着色理论 阿廷

所属机构

河北师范大学数学与信息科学学院

标签云