Selected Publications

 

    Books

  • X.S. Gao, D.K. Wang, Z. Qiu, and H. Yang, Equation Solving and Machien Proving - Problem Solving with MMP (in Chinese ), Science Press, Beijing, 2006.