找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 机器证明
机器证明及其应用是中国攀登计划项目之一。该项目的核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。 — 拼音 jī qì zhèng míng，更新 2026-07-11 12:08:42