We use cookies to improve your experience with our site.
Advanced Search

Recent Advances in Automated Theorem Proving on Inequalities
YANG Lu
1999, 14(5): 434-446.
Abstract
Orthogonal Drawings of Graphs for the Automation of VLSI Circuit Design
LIU Thnpei
1999, 14(5): 447-459.
Abstract
Automated Generation of Kempe Linkageand Its Complexity
GAO Xiaoshan, ZHU Changcai
1999, 14(5): 460-467.
Abstract
Solving SAT by Algorithm Transform of Wu s Method
HE Simin, ZHANG Bo
1999, 14(5): 468-480.
Abstract
Fast Theorem-Proving and Wu s Method
LI Lian, WANG Jimin
1999, 14(5): 481-486.
Abstract
Object-oriented Analysis of ELIMINO
LIN Dongdai, LIU Zhuojun
1999, 14(5): 487-494.
Abstract
The Intelligent CAI System for Chemistry Based on Automated Reasoning
WANG Xiaojing, ZHANG Jingzhong
1999, 14(5): 495-509.
Abstract
The Multiplicity of Zeros of Algebraic System in Eigenvalue Method
ZHANG Shugong, LIU Ying, FENG Guochen
1999, 14(5): 510-517.
Abstract
Hyperfinite Interpolation, Wu s Method and Blendingof Implicit Algebraic Surfaces
ZHANG Shugong, REN Honaiu
1999, 14(5): 518-529.
Abstract