A Review of the Development of Mathematics Mechanization (in {Chinese}) - Archive ouverte HAL Access content directly
Conference Papers Year :
No file

Dates and versions

hal-01293796 , version 1 (25-03-2016)

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⟩
79 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More