栩科词语词典 - 汉语查词大全 AI 汉语助手
请问「机器证明」是什么意思?

关于「机器证明」

拼音 jī qì zhèng míng,注音 ㄐㄧ ㄑㄧˋ ㄓㄥˋ ㄇㄧㄥˊ。数据更新于 2026-07-13 19:38:59。

拼音字母ji qi zheng ming
拼音首字母jqzm
注音符号ㄐㄧ ㄑㄧ ㄓㄥ ㄇㄧㄥ
注音首符号ㄐㄑㄓㄇ

扩展释义

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

拆字组词

相关词语