Dingkang Wang  

Key Lab of Mathematics Mechanization

Academy of Mathematics and Systems Science

Chinese Academy of Sciences

Address:  Zhongguancun East Road No.55, Beijing 100190

Email:  dwang(at)mmrc.iss.ac.cn

Tel:  86-10-8254-1841

Fax:  86-10-8254-1809


Research Interests: Computer Algebra, Mechanical Proving of Geometric Theorem, (Parametric) Groebner Basis

Selected Publications

Plenary Talks

Software

Education

Academic Experience

Chinese Version İ