cnCalc计算器论坛

 找回密码
 注册
搜索
查看: 3232|回复: 14

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

[复制链接]
发表于 2011-2-15 18:41:10 | 显示全部楼层 |阅读模式
现在开始着手研究几何(立体 and 平面)自动证明程序

评分

参与人数 2金钱 0 收起 理由
fbk119 -1
urill + 1 支持

查看全部评分

发表于 2011-2-15 19:58:16 | 显示全部楼层
什么平台?
发表于 2011-2-15 20:06:14 | 显示全部楼层
肯定不是9860……str不够
发表于 2011-2-16 12:08:45 | 显示全部楼层
貌似有难度
发表于 2011-2-17 14:34:03 | 显示全部楼层
4# qzr1999


而且难度不是一般得大。
发表于 2011-2-17 14:34:58 | 显示全部楼层
不过建议你还是去试试。
PS:iCAS写的怎么样啦?
 楼主| 发表于 2011-2-17 21:07:56 | 显示全部楼层
不过建议你还是去试试。
PS:iCAS写的怎么样啦?
l5h5t7 发表于 2011-2-17 14:34

iCAS甩给novian去编写啦。。
 楼主| 发表于 2011-2-17 21:08:18 | 显示全部楼层
4# qzr1999


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

那我就试试吧。。。
发表于 2011-2-17 21:33:58 | 显示全部楼层
祝你成功!
 楼主| 发表于 2011-2-18 19:57:42 | 显示全部楼层
目前完成了几何体自动构图模块
发表于 2011-2-19 14:45:11 | 显示全部楼层
10# imath


厉害!
发表于 2011-2-19 15:43:39 | 显示全部楼层
iCAS甩给novian去编写啦。。
imath 发表于 2011-2-17 21:07
???
 楼主| 发表于 2011-2-19 18:25:59 | 显示全部楼层
???
noivan 发表于 2011-2-19 15:43

让noivan编写iCAS啊.
我研究几何证明
发表于 2011-2-19 19:00:58 | 显示全部楼层
让noivan编写iCAS啊.
我研究几何证明
imath 发表于 2011-2-19 18:25
开学了,暑假看看9860字符串函数有没有升级,如果有的话应该很好做的
 楼主| 发表于 2011-2-20 18:43:58 | 显示全部楼层
暑假......
您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|cnCalc计算器论坛

GMT+8, 2024-3-29 10:01 , Processed in 0.055601 second(s), 23 queries .

Powered by Discuz! X3.4

© 2001-2023 Discuz! Team.

快速回复 返回顶部 返回列表