词语机器证明的详细解释,机器证明的拼音及基本释义

机器证明

【词语拼音】jī qì zhèng míng

【词语繁体】機器證明

【词语结构】ABCD式词语

【词语字数】四字词语

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