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

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

iCAS甩给novian去编写啦。。

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

4# qzr1999

而且难度不是一般得大。
l5h5t7 发表于 2011-2-17 14:34

那我就试试吧。。。

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

???

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

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

让noivan编写iCAS啊.
我研究几何证明

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

让noivan编写iCAS啊.
我研究几何证明
imath 发表于 2011-2-19 18:25

开学了，暑假看看9860字符串函数有没有升级，如果有的话应该很好做的

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

暑假......

账号		自动登录	找回密码
密码			注册

[聊天] 现在着手研究几何自动证明程序