Plenary Talks

 

• Dingkang Wang: Automatic Geometric Theorem Proving and Discovering using (Comprehensive) Groebner Bases. 24th Conference on Applications of Computer Algebra. Santiago de compostela, June 18-22, 2018.
• Dingkang Wang： Comprehensive Groebner Systems and Discovering Geometric Theorems Mechanically, 12th International Conference on Automated Deduction in Geometry. Nanning, China, September 11-14, 2018
• Dingkang Wang： Geometric Theorem Proving by Comprehensive Groebner System. 5th Workshop on Combinatorial mathematics and Symbolic Computation. Jinhua, China, November 20-23, 2020