|
Dingkang WangKey Lab of Mathematics MechanizationAcademy of Mathematics and Systems ScienceChinese Academy of SciencesAddress: Zhongguancun East Road No.55, Beijing 100190Email: dwang(at)mmrc.iss.ac.cnTel: 86-10-8254-1841Fax: 86-10-8254-1809 |
Research Interests: Computer Algebra, Mechanical Proving of Geometric Theorem, (Parametric) Groebner Basis
Education
-
1990.9–1993.7, Ph.D., Mathematics, Institute of Systems Science, Chinese Academy of Sciences (CAS)
Supervisor: Wentsun Wu
Dissertation: Polynomial Equations Solving and Geometric Theorem Proving
- 1987.9–1990.7, M.Sci., Institute of Systems Science, CAS
- 1983.9–1987.7, B.Sci., Department of Mathematics, Peking University
Academic Experience
- 2012.3–present, Professor, Academy of Mathematics and Systems Science, CAS
- 1997.3–2012.3, Associate Professor, Academy of Mathematics and Systems Science, CAS
- 1993.9–1997.3, Assistant Professor, Institute of Systems Science, CAS