释
机器证明
jī qì zhèng míng · ㄐㄧ ㄑㄧˋ ㄓㄥˋ ㄇㄧㄥˊ
修撰于 2026-06-29 22:42:29
音义
| 拼音 | jī qì zhèng míng |
|---|---|
| 字母 | ji qi zheng ming |
| 首字母 | jqzm |
| 注音 | ㄐㄧ ㄑㄧˋ ㄓㄥˋ ㄇㄧㄥˊ |
| 注音符号 | ㄐㄧ ㄑㄧ ㄓㄥ ㄇㄧㄥ |
广训
机器证明及其应用是中国攀登计划项目之一。该项目的核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。
jī qì zhèng míng · ㄐㄧ ㄑㄧˋ ㄓㄥˋ ㄇㄧㄥˊ
修撰于 2026-06-29 22:42:29
| 拼音 | jī qì zhèng míng |
|---|---|
| 字母 | ji qi zheng ming |
| 首字母 | jqzm |
| 注音 | ㄐㄧ ㄑㄧˋ ㄓㄥˋ ㄇㄧㄥˊ |
| 注音符号 | ㄐㄧ ㄑㄧ ㄓㄥ ㄇㄧㄥ |
机器证明及其应用是中国攀登计划项目之一。该项目的核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。