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