词语含义查询 · 在线释义
查询结果
jī qì zhèng míng · ㄐㄧ ㄑㄧˋ ㄓㄥˋ ㄇㄧㄥˊ
数据更新：2026-07-13 12:56:47
机器证明及其应用是中国攀登计划项目之一。该项目的核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。