imath 发表于 2011-2-15 18:41:10

现在着手研究几何自动证明程序

现在开始着手研究几何（立体 and 平面）自动证明程序

Cyvre 发表于 2011-2-15 19:58:16

什么平台？

diameter 发表于 2011-2-15 20:06:14

肯定不是9860……str不够

qzr1999 发表于 2011-2-16 12:08:45

貌似有难度

l5h5t7 发表于 2011-2-17 14:34:03

4# qzr1999


而且难度不是一般得大。

l5h5t7 发表于 2011-2-17 14:34:58

不过建议你还是去试试。
PS：iCAS写的怎么样啦？

imath 发表于 2011-2-17 21:07:56

不过建议你还是去试试。
PS：iCAS写的怎么样啦？
l5h5t7 发表于 2011-2-17 14:34 http://www.cncalc.org/images/common/back.gif
iCAS甩给novian去编写啦。。

imath 发表于 2011-2-17 21:08:18

4# qzr1999


而且难度不是一般得大。
l5h5t7 发表于 2011-2-17 14:34 http://www.cncalc.org/images/common/back.gif
那我就试试吧。。。

lch 发表于 2011-2-17 21:33:58

祝你成功！

imath 发表于 2011-2-18 19:57:42

目前完成了几何体自动构图模块

l5h5t7 发表于 2011-2-19 14:45:11

10# imath


厉害！

noivan 发表于 2011-2-19 15:43:39


iCAS甩给novian去编写啦。。
imath 发表于 2011-2-17 21:07 http://www.cncalc.org/images/common/back.gif???

imath 发表于 2011-2-19 18:25:59

???
noivan 发表于 2011-2-19 15:43 http://www.cncalc.org/images/common/back.gif
让noivan编写iCAS啊.
我研究几何证明

noivan 发表于 2011-2-19 19:00:58


让noivan编写iCAS啊.
我研究几何证明
imath 发表于 2011-2-19 18:25 http://www.cncalc.org/images/common/back.gif开学了，暑假看看9860字符串函数有没有升级，如果有的话应该很好做的

imath 发表于 2011-2-20 18:43:58

暑假......
页: [1]
查看完整版本: 现在着手研究几何自动证明程序