百 思墨词语词典 - 汉语词典大全 作者 2026-07-12 16:13:45 机器证明 拼音 jī qì zhèng míng · 注音 ㄐㄧ ㄑㄧˋ ㄓㄥˋ ㄇㄧㄥˊ 基本属性 拼音字母ji qi zheng ming 拼音首字母jqzm 注音符号ㄐㄧ ㄑㄧ ㄓㄥ ㄇㄧㄥ 扩展释义 机器证明及其应用是中国攀登计划项目之一。该项目的核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。