1. Preface

   • Li Guojie
   • Liu Zhuojun

   EditorialNotes Pages: 433 - 433

2. Recent advances in automated theorem proving on inequalities

   • Yang Lu

   OriginalPaper Pages: 434 - 446

3. Orthogonal drawings of graphs for the automation of VLSI circuit design

   • Liu Yanpei

   OriginalPaper Pages: 447 - 459

4. Automated generation of Kempe linkage and its complexity

   • Gao Xiaoshan
   • Zhu Changcai

   OriginalPaper Pages: 460 - 467

5. Solving SAT by algorithm transform of Wu’s method

   • He Simin
   • Zhang Bo

   OriginalPaper Pages: 468 - 480

6. Fast theorem-proving and Wu’s Method

   • Li Lian
   • Wang Jimin

   OriginalPaper Pages: 481 - 486

7. Object-oriented analysis of ELIMINO

   • Lin Dongdai
   • Liu Zhuojun

   OriginalPaper Pages: 487 - 494

8. The intelligent CAI system for chemistry based on automated reasoning

   • Wang Xiaojing
   • Zhang Jingzhong

   OriginalPaper Pages: 495 - 509

9. The multiplicity of zeros of algebraic system in eigenvalue method

   • Zhang Shugong
   • Liu Ying
   • Feng Guochen

   OriginalPaper Pages: 510 - 517

10. Hyperfinite interpolation, Wu’s Method and blending of implicit algebraic surfaces

    • Zhang Shugong
    • Ren Hongju

    OriginalPaper Pages: 518 - 529