2019年, 第32卷, 第1期　刊出日期：2019-02-25

  

• 全选
  |

• Select
  Foreword to the Special Issue

  GAO Xiao-Shan,LI Hongbo,WANG Dongming

  Journal of Systems Science and Complexity. 2019, 32(1): 1-2. https://doi.org/10.1007/s11424-019-8000-z

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  On the Contribution of Wu Wen-Ts¨un to Algebraic Topology

  BRASSELET Jean-Paul

  Journal of Systems Science and Complexity. 2019, 32(1): 3-36. https://doi.org/10.1007/s11424-019-8342-6

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  Characteristic Decomposition: From Regular Sets to Normal Sets

  MOU Chenqi,WANG Dongming

  Journal of Systems Science and Complexity. 2019, 32(1): 37-46. https://doi.org/10.1007/s11424-019-8356-0

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  Hilbert Problem 15 and Ritt-Wu Method (I)

  LI Banghe

  Journal of Systems Science and Complexity. 2019, 32(1): 47-61. https://doi.org/10.1007/s11424-019-8344-4

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  Ritt-Wu Characteristic Set Method for Laurent Partial Differential Polynomial Systems

  HU Youren,GAO Xiao-Shan

  Journal of Systems Science and Complexity. 2019, 32(1): 62-77. https://doi.org/10.1007/s11424-019-8343-5

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu’s Method Identity

  ZHANG Jingzhong,PENG Xicheng,CHEN Mao

  Journal of Systems Science and Complexity. 2019, 32(1): 78-94. https://doi.org/10.1007/s11424-019-8350-6

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  Automated Theorem Proving Practice with Null Geometric Algebra

  LI Hongbo

  Journal of Systems Science and Complexity. 2019, 32(1): 95-123. https://doi.org/10.1007/s11424-019-8354-2

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  On the Mechanization of Straightedge and Compass Constructions

  SCHRECK Pascal

  Journal of Systems Science and Complexity. 2019, 32(1): 124-149. https://doi.org/10.1007/s11424-019-8347-1

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves

  BOTANA Francisco,RECIO Tom′as

  Journal of Systems Science and Complexity. 2019, 32(1): 150-157. https://doi.org/10.1007/s11424-019-8341-7

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  Global Optimization of Polynomials over Real Algebraic Sets

  WANG Chu,YANG Zhi-Hong,ZHI Lihong

  Journal of Systems Science and Complexity. 2019, 32(1): 158-184.

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  A Hybrid Procedure for Finding Real Points on a Real Algebraic Set

  WANG Yu,XIA Bican

  Journal of Systems Science and Complexity. 2019, 32(1): 185-204. https://doi.org/10.1007/s11424-019-8349-z

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  Speeding Up the GVW Algorithm via a Substituting Method

  LI Ting,SUN Yao,HUANG Zhenyu,WANG Dingkang,LIN Dongdai

  Journal of Systems Science and Complexity. 2019, 32(1): 205-233. https://doi.org/10.1007/s11424-019-8345-3

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  A Survey on Algorithms for Computing Comprehensive Gr¨obner Systems and Comprehensive Gr¨obner Bases

  LU Dong,SUN Yao,WANG Dingkang

  Journal of Systems Science and Complexity. 2019, 32(1): 234-255. https://doi.org/10.1007/s11424-019-8357-z

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  The Algebro-Geometric Method for Solving Algebraic Differential Equations — A Survey

  WINKLER Franz

  Journal of Systems Science and Complexity. 2019, 32(1): 256-270. https://doi.org/10.1007/s11424-019-8348-0

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  The Ore-Sato Theorem and Shift Exponents in the q-Difference Case

  DU Hao,LI Ziming

  Journal of Systems Science and Complexity. 2019, 32(1): 271-286. https://doi.org/10.1007/s11424-019-8355-1

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  Elimination Theory in Differential and Difference Algebra

  LI Wei,YUAN Chun-Ming

  Journal of Systems Science and Complexity. 2019, 32(1): 287-316. https://doi.org/10.1007/s11424-019-8367-x

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  Conditional Congruence Closure over Uninterpreted and Interpreted Symbols

  KAPUR Deepak

  Journal of Systems Science and Complexity. 2019, 32(1): 317-355. https://doi.org/10.1007/s11424-019-8377-8

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  Recent Results on Constructing Boolean Functions with (Potentially) Optimal Algebraic Immunity Based on Decompositions of Finite Fields

  LIU Zhuojun,WU Baofeng

  Journal of Systems Science and Complexity. 2019, 32(1): 356-374. https://doi.org/10.1007/s11424-019-8346-2

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  Quantum Algorithm Design: Techniques and Applications

  SHAO Changpeng,LI Yang,LI Hongbo

  Journal of Systems Science and Complexity. 2019, 32(1): 375-452. https://doi.org/10.1007/s11424-019-9008-0

  摘要 ( ) PDF全文 ( )   可视化   收藏