Talk:Wu Wenjun

Proposed move
If there are no objections I'll move this article to Wu Wen-tsun, which is how he is invariably referred to. I've been familiar with his contributions to mechanization of mathematics since the 1980s and have never seen his name rendered as Wu Wenjun. His homepage omits the hyphen, writing his name as Wu Wentsun, but in the west the hyphen is always included. Vaughan Pratt (talk) 20:34, 5 March 2016 (UTC)