文络智义词库

2026-07-13 12:10:50

机器证明

jī qì zhèng míng · ㄐㄧ ㄑㄧˋ ㄓㄥˋ ㄇㄧㄥˊ

字母
ji qi zheng ming
首字母
jqzm
注音符号
ㄐㄧ ㄑㄧ ㄓㄥ ㄇㄧㄥ
注音首符
ㄐㄑㄓㄇ

机器证明及其应用是中国攀登计划项目之一。该项目的核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。

拆字

相关

文络智义词库,您的专属汉语词典。海量词条,精准释义,成语、近义词、反义词一键查询。专业友好的界面,让词语学习更高效。

热门组词

链接