请问「机器证明」是什么意思?
2026-07-10 04:28:37
「机器证明」读音
拼音 jī qì zhèng míng,注音 ㄐㄧ ㄑㄧˋ ㄓㄥˋ ㄇㄧㄥˊ
| 拼音字母 | ji qi zheng ming |
|---|---|
| 拼音首字母 | jqzm |
| 注音符号 | ㄐㄧ ㄑㄧ ㄓㄥ ㄇㄧㄥ |
| 注音首符号 | ㄐㄑㄓㄇ |
「机器证明」释义
扩展释义 机器证明及其应用是中国攀登计划项目之一。该项目的核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。
推荐
请问「机器证明」是什么意思?
「机器证明」读音
拼音 jī qì zhèng míng,注音 ㄐㄧ ㄑㄧˋ ㄓㄥˋ ㄇㄧㄥˊ
| 拼音字母 | ji qi zheng ming |
|---|---|
| 拼音首字母 | jqzm |
| 注音符号 | ㄐㄧ ㄑㄧ ㄓㄥ ㄇㄧㄥ |
| 注音首符号 | ㄐㄑㄓㄇ |
「机器证明」释义
扩展释义 机器证明及其应用是中国攀登计划项目之一。该项目的核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。