存档

文章标签 ‘几何’

[论文]对简易几何机械化证明的进一步研究

“机械化证明”，就是用计算机进行判断、推理、证明等活动的集合。做这个课题的关键，就在于如何利用计算机模拟出人脑的推理过程。我采用的思维方式，
即：归纳–>演绎–>...

没有评论
一 11th, 2009 | Filed under 人工智能
标签: ,
​