你
请解释一下「机器证明」这个词的含义。
助手
机器证明
jī qì zhèng míng · ㄐㄧ ㄑㄧˋ ㄓㄥˋ ㄇㄧㄥˊ
ji qi zheng ming
jqzm
ㄐㄧ ㄑㄧ ㄓㄥ ㄇㄧㄥ
2026-07-11 22:54:54
扩展释义
机器证明及其应用是中国攀登计划项目之一。该项目的核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。
请解释一下「机器证明」这个词的含义。
机器证明及其应用是中国攀登计划项目之一。该项目的核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。