// 词语查询结果 · output
机器证明
updated: 2026-07-16 03:30:19
释义
「机器证明」是什么意思？
| 词语 | 机器证明 |
|---|---|
| 拼音 | jī qì zhèng míng |
| 拼音字母 | ji qi zheng ming |
| 拼音首字母 | jqzm |
| 注音 | ㄐㄧ ㄑㄧˋ ㄓㄥˋ ㄇㄧㄥˊ |
| 注音符号 | ㄐㄧ ㄑㄧ ㄓㄥ ㄇㄧㄥ |
扩展释义
机器证明及其应用是中国攀登计划项目之一。该项目的核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。
工具
拆字组词
// 点击汉字查看组词列表
相关