数学机械化 meaning in Chinese
mechanization of mathematics
Examples
- Traditional mathematics of china and mathematics mechanization
中国传统数学与数学机械化 - The core of the mathematics mechanization theory is algebraization and further mechaiza - tion
数学机械化思想的核心是代数化进而机械化。 - The mechanical thought of mathematics in ancient china and wu wen - jun ' s work about mathematics mechanization
中国古算的程序化思想与吴文俊的数学机械化工作 - Singapore : world scientific , 1994 . 4 li h , wu y . automated theorem proving in projective geometry with cayley and bracket algebras
其中特征列方法是定理机器证明与方程求解的基础，也是数学机械化领域目前研究的核心内容。 - 11 . 50am lecture by professor wu on " from ancient chinese traditional mathematics to modern china s mathematics mechanization " 12 . 40pm presentation of souvenirs
上午11时50分吴文俊教授主讲“由中国的传统数学智慧至现代中国数学机械化的演变”