ประโยคภาษาจีน : 中文句子 |
---|
gāi 该 xì tǒng 系统 bú dàn 不但 kě yǐ 可以 zhèng míng 证明 gòu zào 构造 xìng 性 de 的 chū děng 初等 píng miàn jǐ hé 平面几何 mìng tí 命题 ér qiě 而且 yě 也 shí xiàn 实现 le 了 duì 对 fēi 非 gòu zào 构造 xìng 性 jǐ hé 几何 mìng tí 命题 de 的 dìng lǐ 定理 sōu suǒ 搜索 |
And a dynamic searching system of geometric theorem has been implemented, which can solve elementary geometric problems efficiently, including some non- constructive problems. |