Orthogonal drawings of graphs for the automation of VLSI circuit design Liu Yanpei OriginalPaper Pages: 447 - 459
Automated generation of Kempe linkage and its complexity Gao XiaoshanZhu Changcai OriginalPaper Pages: 460 - 467
The intelligent CAI system for chemistry based on automated reasoning Wang XiaojingZhang Jingzhong OriginalPaper Pages: 495 - 509
The multiplicity of zeros of algebraic system in eigenvalue method Zhang ShugongLiu YingFeng Guochen OriginalPaper Pages: 510 - 517
Hyperfinite interpolation, Wu’s Method and blending of implicit algebraic surfaces Zhang ShugongRen Hongju OriginalPaper Pages: 518 - 529