机器证明
更新时间:-- | 阅读量: 264

使用计算机证明定理,即解决可判定性问题。也就是说,找出一种算法,通过这个算法的逐步实...机器证明目前除了用于几何定理的证明外，还可用来研究微分方程*与多项式理论，以及经典力学定律等。在很多技术领域也崭露头角。它还可用以改革目前的几何教学 ...

搜索到与“ 机器证明”相关的文献共 1条

几何机器明证引发的思考
时代发展要求教育资源智能化,而不是简单的"电子化".智能解答能在教育领域得以应用的基本要求是能被人理解接受,即有很好的可读性.最新研究表明,人类的解答未必是最好的,计算机可能给出让人惊讶的解答.计算机...

《数学教育学报》 2020年01期关键词: "人工智能"," 教育应用"," 几何定理"," 机器明证"," 知识表示和推理" 收藏