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

Return to list New

View 833|Reply 1

如何使用GCLC

[Copy link]

3214 Threads	7831 Posts	52 Reputation

Send PM

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

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

QQ图片20200513132621.png

希望指出俺的错误

Reply Edit 0

3214 Threads	7831 Posts	52 Reputation

Send PM

original poster hbghlyj posted 2020-5-15 16:25

QQ图片20200513132621.png

用户手册的一部分

Reply Edit

Return to list New

Quick Reply

× Quick Reply To Top Edit

2025-7-20 10:47 GMT+8

Powered by Discuz!

Processed in 0.024033 seconds, 25 queries