Vol. 13, May, 1995

• Central Configurations in Planet Motions and Vortex Motions, Wu Wen-tsun
• An Introduction to GEOMETRY EXPERT, Shang-Ching Chou, Xiao-Shan Gao & Jing-Zhong Zhang
• Complex Numbers and Automated Geometry Theorem Proving, Shang-Ching Chou, Xiao-Shan Gao & Jing-Zhong Zhang
• On Mechanical Theorem Proving in Differential Geometry, Li Hongbo
• The Structure of Solutions to Algebraic System and Matrices in Eeigenvalue Method, Feng Guo-chen, Zhang Shu-gong and Liu Ying
• Software Development in MMRC, Wang Dingkang, Zhi Lihong
• Computer Aided Proof for the Global Stability of Lotka-Volterra Systems, Lu Zhengyi
• The Remainder Mathod for the First-Order Theorem Proving, Jin-zhao Wu, Zhuo-jun Liu
• An Investigation of the Polynomial for Forward Analysis of a Florida Platform, Wen-da Wu and Yu-zhen Huang