...俊与数学机械化_娇娇_新浪博客 关键词 ：机器证明；数学机械化；中国古代数学；吴文俊 [gap=1191]Key words: mechanical proving ； mathematics mechanization ； classical Chinese mathematics ； Wu Wen-tsun ..
基于28个网页-相关网页
theorem mechanical proving 定理机器证明
mechanical theorem proving [计] 机器定理证明 ; 机器证明
mechanical theorem-proving in geometry 几何定理机器证明
Mechanical geometry theorem proving 几何定理机器证明
mechanical geometric theorem proving 几何定理的机器证明
应用推荐