12th International Conference on Automated Deduction in Geometry ADG 2018 The conference will be held in Nanning, China 11-14 September, and is in memory of Wen-tsün Wu, the founder of the Chinese School of Mathematics Mechanization. This article was published on 2024-11-22
