收藏本站
Journal of Systems Science & Complexity
系统科学与复杂性学报(英文版)
主办: 中国科学院系统科学研究院
周期: 双月
出版地:北京市
语种: 英文;
开本: 16开
ISSN 1009-6124
CN 11-4543/O1
曾用刊名:系统科学与数学(英文版);系统科学与复杂性学报(英文版);Systems Science and Mathematical Sciences;Journal of Systems Science and Complexity
创刊年:1988
ASPT来源刊
中国期刊网来源刊
同类杂志推荐
投稿  收藏本刊文章

Journal of Systems Science & Complexity

2019 年01期 目录
Foreword to the Special Issue GAO Xiao-Shan;LI Hongbo;WANG Dongming;
On the Contribution of Wu Wen-Tsün to Algebraic Topology BRASSELET Jean-Paul;
Characteristic Decomposition: From Regular Sets to Normal Sets MOU Chenqi;WANG Dongming;
Hilbert Problem 15 and Ritt-Wu Method(Ⅰ) LI Banghe;
Ritt-Wu Characteristic Set Method for Laurent Partial Differential Polynomial Systems HU Youren;GAO Xiao-Shan;
Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu's Method Identity ZHANG Jingzhong;PENG Xicheng;CHEN Mao;
Automated Theorem Proving Practice with Null Geometric Algebra LI Hongbo;
On the Mechanization of Straightedge and Compass Constructions SCHRECK Pascal;
A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves BOTANA Francisco;RECIO Tomás;
Global Optimization of Polynomials over Real Algebraic Sets WANG Chu;YANG Zhi-Hong;ZHI Lihong;
A Hybrid Procedure for Finding Real Points on a Real Algebraic Set WANG Yu;XIA Bican;
Speeding Up the GVW Algorithm via a Substituting Method LI Ting;SUN Yao;HUANG Zhenyu;WANG Dingkang;LIN Dongdai;
A Survey on Algorithms for Computing Comprehensive Gr?bner Systems and Comprehensive Gr?bner Bases LU Dong;SUN Yao;WANG Dingkang;
The Algebro-Geometric Method for Solving Algebraic Differential Equations——A Survey WINKLER Franz;
The Ore-Sato Theorem and Shift Exponents in the q-Difference Case DU Hao;LI Ziming;
Elimination Theory in Differential and Difference Algebra LI Wei;YUAN Chun-Ming;
Conditional Congruence Closure over Uninterpreted and Interpreted Symbols KAPUR Deepak;
Recent Results on Constructing Boolean Functions with (Potentially) Optimal Algebraic Immunity Based on Decompositions of Finite Fields LIU Zhuojun;WU Baofeng;
Quantum Algorithm Design:Techniques and Applications SHAO Changpeng;LI Yang;LI Hongbo;
Journal of Systems Science and Complexity
Journal of Systems Science & Complexity2019年各期:  [01]
Journal of Systems Science & Complexity 其它年:   [2018]   [2017]   [2016]   [2015]
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026