Dingkang Wang  (İ)

Key Lab of Mathematics Mechanization

Academy of Mathematics and Systems Science

Chinese Academy of Sciences

Address:  No.55 Zhongguancun East Road, 100190, Beijing

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

Software

Education

Academic Experience