mathematics-mechanization
网络释义：数学机械化
网络释义
1.数学机械化关键词：数学机械化（mathematics mechanization），特征集方法（characteristic set method），自动定理证明（automated t…
例句释义:,数学机械化1.The mechanical thought of mathematics in ancient China and WU Wen-jun's work about mathematics mechanization中国古算的程序化思想与吴文俊的数学机械化工作
2.Mental labor mechanization and mathematics mechanization in computer era计算机时代的脑力劳动机械化与数学机械化
3.Traditional Mathematics of China and Mathematics Mechanization中国传统数学与数学机械化
4.Key Laboratory of Mathematics Mechanization, CAS数学机械化重点实验室