Discuz Math Forum»Forum › Technology › Programming › 如何使用GCLC

Return to list New

View 827|Reply 1

如何使用GCLC

[Copy link]

3153 Threads	7905 Posts	610K Credits

Credits: 64091

Send PM

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

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

QQ图片20200513132621.png

希望指出俺的错误

Reply Edit

3153 Threads	7905 Posts	610K Credits

Credits: 64091

Send PM

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

QQ图片20200513132621.png

用户手册的一部分

Reply Edit

Return to list New

Mobile version|Discuz Math Forum

2025-6-5 07:17 GMT+8

Powered by Discuz!

× Quick Reply To Top Edit