Conference Papers
Year :
Lip6 Publications : Connect in order to contact the contributor
https://hal.science/hal-01293796
Submitted on : Friday, March 25, 2016-2:44:57 PM
Last modification on : Tuesday, April 11, 2023-3:16:28 PM
Dates and versions
Identifiers
- HAL Id : hal-01293796 , version 1
Cite
Dongming Wang, Xiao-Shan Gao, Zhuojun Liu, Ziming Li. A Review of the Development of Mathematics Mechanization (in {Chinese}). Wen-tsün Wu and Chinese Mathematics, 2010, Singapore, Singapore. pp.221--233. ⟨hal-01293796⟩
Collections
79
View
0
Download