1. Optimal algorithm for algebraic factoring

   • Zhi Lihong

   OriginalPaper Pages: 1 - 9

2. Mechanical geometry theorem proving based on groebner bases

   • Wu Jinzhao

   OriginalPaper Pages: 10 - 16

3. R-calculus for ELP: An operational approach to knowledge base maintenance

   • Shen Ningchuan
   • Li Wei

   OriginalPaper Pages: 17 - 28

4. Implementation of GAMMA on a massively parallel computer

   • Huang Linpeng
   • Tong Weiqin
   • Sun Yongqiang

   OriginalPaper Pages: 29 - 39

5. R _aR_b transformation of compound finite automata over commutative rings

   • Wang Hao

   OriginalPaper Pages: 40 - 48

6. Performance prediction of the hough transform

   • Hu Zhanyi
   • Ma Songde

   OriginalPaper Pages: 49 - 57

7. Existence and uniqueness in shape from shading

   • Deng Yanping
   • Li Jiegu

   OriginalPaper Pages: 58 - 64

8. An approach to user interface specification with attribute grammars

   • Hua Qingyi

   OriginalPaper Pages: 65 - 75

9. Neural network methods for NURBS curve and surface interpolation

   • Kaihuai Qin

   OriginalPaper Pages: 76 - 89

10. Parsing with dynamic rule selection

    • Zong Chengqing
    • Chen Zhaoxiong
    • Huang Heyan

    OriginalPaper Pages: 90 - 96