定理证明
（数学 | 自动化）
定理证明是指数学领域中对臆测的定理寻求一个证明，证明定理时，不仅需要有根据假设进行演绎的能力，而且需要有某些知觉的技巧。
加载更多
领域
提 交
自动化
数学
机械
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》