1000-9000
1999 Issue 5
..............page:447-459
fast theorem-proving and wu's method
LI Lian ; WANG Jimin
LI Lian ; WANG Jimin
..............page:481-486
Automated Generation of Kempe Linkageand Its Complexity
GAO Xiaoshan; ZHU Changcai
GAO Xiaoshan; ZHU Changcai
..............page:460-467
solving sat by algorithm transform of wu's method
HE Simin ; ZHANG Bo
HE Simin ; ZHANG Bo
..............page:468-480
the multiplicity of zeros of algebraic system in eigenvalue method
ZHANG Shugong; LIU Ying; FENG Guochen
ZHANG Shugong; LIU Ying; FENG Guochen
..............page:510-517
the intelligent cai system for chemistry based on automated reasoning
WANG Xiaojing ; ZHANG Jingzhong
WANG Xiaojing ; ZHANG Jingzhong
..............page:495-509
Object-oriented Analysis of ELIMINO
LIN Dongdai; LIU Zhuojun
LIN Dongdai; LIU Zhuojun
..............page:487-494
..............page:433
..............page:434-446
Hyperfinite Interpolation, Wu's Method and Blendingof Implicit Algebraic Surfaces
ZHANG Shugong; REN Honaiu
ZHANG Shugong; REN Honaiu
..............page:518-529