1. Foreword to the Special Issue

   • Xiao-Shan Gao
   • Hongbo Li
   • Dongming Wang

   OriginalPaper 14 February 2019 Pages: 1 - 2

2. On the Contribution of Wu Wen-Tsün to Algebraic Topology

   • Jean-Paul Brasselet

   OriginalPaper 14 February 2019 Pages: 3 - 36

3. Characteristic Decomposition: From Regular Sets to Normal Sets

   • Chenqi Mou
   • Dongming Wang

   OriginalPaper 14 February 2019 Pages: 37 - 46

4. Hilbert Problem 15 and Ritt-Wu Method (I)

   • Banghe Li

   OriginalPaper 14 February 2019 Pages: 47 - 61

5. Ritt-Wu Characteristic Set Method for Laurent Partial Differential Polynomial Systems

   • Youren Hu
   • Xiao-Shan Gao

   OriginalPaper 14 February 2019 Pages: 62 - 77

6. Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu’s Method Identity

   • Jingzhong Zhang
   • Xicheng Peng
   • Mao Chen

   OriginalPaper 14 February 2019 Pages: 78 - 94

7. Automated Theorem Proving Practice with Null Geometric Algebra

   • Hongbo Li

   OriginalPaper 14 February 2019 Pages: 95 - 123

8. On the Mechanization of Straightedge and Compass Constructions

   • Pascal Schreck

   OriginalPaper 14 February 2019 Pages: 124 - 149

9. A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves

   • Francisco Botana
   • Tomás Recio

   OriginalPaper 14 February 2019 Pages: 150 - 157

10. Global Optimization of Polynomials over Real Algebraic Sets

    • Chu Wang
    • Zhi-Hong Yang
    • Lihong Zhi

    OriginalPaper 14 February 2019 Pages: 158 - 184

11. A Hybrid Procedure for Finding Real Points on a Real Algebraic Set

    • Yu Wang
    • Bican Xia

    OriginalPaper 14 February 2019 Pages: 185 - 204

12. Speeding Up the GVW Algorithm via a Substituting Method

    • Ting Li
    • Yao Sun
    • Dongdai Lin

    OriginalPaper 14 February 2019 Pages: 205 - 233

13. A Survey on Algorithms for Computing Comprehensive Gröbner Systems and Comprehensive Gröbner Bases

    • Dong Lu
    • Yao Sun
    • Dingkang Wang

    OriginalPaper 14 February 2019 Pages: 234 - 255

14. The Algebro-Geometric Method for Solving Algebraic Differential Equations — A Survey

    • Franz Winkler

    OriginalPaper 14 February 2019 Pages: 256 - 270

15. The Ore-Sato Theorem and Shift Exponents in the q-Difference Case

    • Hao Du
    • Ziming Li

    OriginalPaper 14 February 2019 Pages: 271 - 286

16. Elimination Theory in Differential and Difference Algebra

    • Wei Li
    • Chun-Ming Yuan

    OriginalPaper 14 February 2019 Pages: 287 - 316

17. Conditional Congruence Closure over Uninterpreted and Interpreted Symbols

    • Deepak Kapur

    OriginalPaper 14 February 2019 Pages: 317 - 355

18. Recent Results on Constructing Boolean Functions with (Potentially) Optimal Algebraic Immunity Based on Decompositions of Finite Fields

    • Zhuojun Liu
    • Baofeng Wu

    OriginalPaper 14 February 2019 Pages: 356 - 374

19. Quantum Algorithm Design: Techniques and Applications

    • Changpeng Shao
    • Yang Li
    • Hongbo Li

    OriginalPaper 14 February 2019 Pages: 375 - 452