切换到宽版

悠闲数学娱乐论坛(第3版)»论坛 › 软件区 › 其他软件 › 如何使用GCLC

返回列表发新帖

查看: 529|回复: 1

如何使用GCLC

[复制链接]

3149 主题	8387 回帖	6万积分

$\style{scale:11;fill:#eff}꩜$

积分: 65397

显示全部楼层

发消息

hbghlyj 发表于 2020-5-15 16:23 |阅读模式

GCLC官网
下载以后运行了示例，比如Ceva定理的面积法证明，都很好，但是我自己构建图形输入时没有证明出来一个几何命题，就连
\[1=1\]
这样的命题也证明不了，我哪里输入错误了呢?

QQ图片20200513132621.png

希望指出俺的错误

回复

3149 主题	8387 回帖	6万积分

$\style{scale:11;fill:#eff}꩜$

积分: 65397

显示全部楼层

发消息

楼主| hbghlyj 发表于 2020-5-15 16:25

QQ图片20200513132621.png

用户手册的一部分

回复 

返回列表发新帖

手机版|悠闲数学娱乐论坛(第3版)

GMT+8, 2025-3-4 18:47

Powered by Discuz!

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