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

Return to list New

View 685|Reply 1

如何使用GCLC

[Copy link]

3147 Threads	8495 Posts	610K Credits

Credits: 66173

Send PM

hbghlyj Posted at 2020-5-15 16:23:15 |Read mode

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

QQ图片20200513132621.png

希望指出俺的错误

Reply Edit

3147 Threads	8495 Posts	610K Credits

Credits: 66173

Send PM

Author| hbghlyj Posted at 2020-5-15 16:25:38

QQ图片20200513132621.png

用户手册的一部分

Reply Edit

Return to list New

手机版Mobile version|Leisure Math Forum

2025-4-21 01:16 GMT+8

Powered by Discuz!

× Quick Reply To Top Return to the list