Vol. 17, December, 1998

• A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering, Shang-Ching Chou, Xiao-Shan Gao, and Jing-Zhong Zhang, 1-20
• Automated Geometry Diagram Construction and Engineering Geometry, Xiao-Shan Gao, 21-45
• Building Dynamic Visual and Logic Models with Geometry Expert, Xiao-Shan Gao, 46-59
• Automated Generation of Kempe Linkage and its Complexity, Xiao-Shan Gao, and Chang-Cai Zhu, 60-70
• Solving Affine Polynomial System by Toric Variety, Feng Guochen, and Luo Hongyong, 71-90
• A Subresultant Theory for Ore Polynomials with Applications, Ziming Li, 91-108
• On Theorem Proving in Annotated Logics, Jinzhao Wu, 109-134
• A Simplified Algorithm for Solution Classification of the Perspective-three-Point Problem, Lu Yang, 135-145