Advertisement

Journal of Systems Science and Complexity

, Volume 32, Issue 1, pp 1–2 | Cite as

Foreword to the Special Issue

  • Xiao-Shan GaoEmail author
  • Hongbo Li
  • Dongming Wang
Article

References

  1. [1]
    Brasselet J P, On the contribution of Wu Wen-Tsün to algebraic topology, Journal of Systems Science & Complexity, 2019, 32(1): 3–36.Google Scholar
  2. [2]
    Mou C Q and Wang D M, Characteristic decomposition: From regular sets to normal sets, Journal of Systems Science & Complexity, 2019, 32(1): 37–46.Google Scholar
  3. [3]
    Li B H, Hilbert problem 15 and Ritt-Wu method (I), Journal of Systems Science & Complexity, 2019, 32(1): 47–61.Google Scholar
  4. [4]
    Hu Y R and Gao X S, Ritt-Wu characteristic set method for Laurent partial differential polynomial systems, Journal of Systems Science & Complexity, 2019, 32(1): 62–77.Google Scholar
  5. [5]
    Zhang J Z, Peng X C, and Chen M, Self-evident automated proving based on point geometry from the perspective of Wu’s method identity, Journal of Systems Science & Complexity, 2019, 32(1): 78–94.Google Scholar
  6. [6]
    Li H B, Automated theorem proving practice with null geometric algebra, Journal of Systems Science & Complexity, 2019, 32(1): 95–123.Google Scholar
  7. [7]
    Schreck P, On the mechanization of straightedge and compass constructions, Journal of Systems Science & Complexity, 2019, 32(1): 124–149.Google Scholar
  8. [8]
    Botana F and Recio T, A proposal for the automatic computation of envelopes of families of plane curves, Journal of Systems Science & Complexity, 2019, 32(1): 150–157.Google Scholar
  9. [9]
    Wang C, Yang Z H, and Zhi L H, Global optimization of polynomials over real algebraic sets, Journal of Systems Science & Complexity, 2019, 32(1): 158–184.Google Scholar
  10. [10]
    Wang Y and Xia B C, A hybrid procedure for finding real points on a real algebraic set, Journal of Systems Science & Complexity, 2019, 32(1): 185–204.Google Scholar
  11. [11]
    Li T, Sun Y, Huang Z Y, et al., Speeding up the GVW algorithm via a substituting method, Journal of Systems Science & Complexity, 2019, 32(1): 205–233.Google Scholar
  12. [12]
    Lu D, Sun Y, and Wang D K, A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases, Journal of Systems Science & Complexity, 2019, 32(1): 234–255.Google Scholar
  13. [13]
    Winkler F, The algebro-geometric method for solving algebraic differential equations — A survey, Journal of Systems Science & Complexity, 2019, 32(1): 256–270.Google Scholar
  14. [14]
    Du H and Li Z M, The Ore-Sato theorem and shift exponents in the q-difference case, Journal of Systems Science & Complexity, 2019, 32(1): 271–286.Google Scholar
  15. [15]
    Li W and Yuan C M, Elimination theory in differential and difference algebra, Journal of Systems Science & Complexity, 2019, 32(1): 287–316.Google Scholar
  16. [16]
    Kapur D, Conditional Congruence Closure over Uninterpreted and Interpreted Symbols, Journal of Systems Science & Complexity, 2019, 32(1): 317–355.Google Scholar
  17. [17]
    Liu Z J and Wu B F, Recent results on constructing boolean functions with (potentially) optimal algebraic immunity based on decompositions of finite fields, Journal of Systems Science & Complexity, 2019, 32(1): 356–374.Google Scholar
  18. [18]
    Shao C P, Li Y, and Li H B, Quantum algorithm design: Techniques and applications, Journal of Systems Science & Complexity, 2019, 32(1): 375–452.Google Scholar

Copyright information

© Institute of Systems Science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences and Springer-Verlag GmbH Germany, part of Springer Nature 2019

Authors and Affiliations

  1. 1.Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, University of Chinese Academy of SciencesChinese Academy of SciencesBeijingChina
  2. 2.LMIB – SKLSDE– School of Mathematics and Systems Science/Beijing Advanced Innovation Center for Big Data and Brain ComputingBeihang UniversityBeijingChina
  3. 3.Centre National de la Recherche ScientifiqueParis cedex 16France

Personalised recommendations