Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
Full-Text Search:
系统科学与复杂性学报(英文版)
FQ: bimonthly
AD of Publication: China
Lanuage: English
ISSN: 1009-6124
CN: 11-4543/O1
YP: 1988
Recommended Journals
分析,理论与应用(英文版)
微分方程年刊(英文版)
数学研究通讯(英文版)
Pure and Applied Mathematics
高等学校计算数学学报(英文版)
Chinese Quarterly Journal of Mathematics
Chinese Annals of Mathematics
Journal of Mathematical Study
Journal of Mathematics
Acta Analysis Functionalis Applicata
系统科学与复杂性学报(英文版)
2019 -01
Catalog
Speeding Up the GVW Algorithm via a Substituting Method LI Ting;SUN Yao;HUANG Zhenyu;WANG Dingkang;LIN Dongdai;SKLOIS
A Survey on Algorithms for Computing Comprehensive Gr?bner Systems and Comprehensive Gr?bner Bases LU Dong;SUN Yao;WANG Dingkang;KLMM
Conditional Congruence Closure over Uninterpreted and Interpreted Symbols KAPUR Deepak;Department of Computer Science
Quantum Algorithm Design:Techniques and Applications SHAO Changpeng;LI Yang;LI Hongbo;Academy of Mathematics and Systems Science
On the Contribution of Wu Wen-Tsün to Algebraic Topology BRASSELET Jean-Paul;I2M
Characteristic Decomposition: From Regular Sets to Normal Sets MOU Chenqi;WANG Dongming;LMIB–School of Mathematics and Systems Science/Beijing Advanced Innovation Center for Big Data and Brain Computing
Hilbert Problem 15 and Ritt-Wu Method(Ⅰ) LI Banghe;KLMM
Ritt-Wu Characteristic Set Method for Laurent Partial Differential Polynomial Systems HU Youren;GAO Xiao-Shan;KLMM
Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu's Method Identity ZHANG Jingzhong;PENG Xicheng;CHEN Mao;National Engineering Research Center for E-Learning
Automated Theorem Proving Practice with Null Geometric Algebra LI Hongbo;Key Laboratory of Mathematics Mechanization
On the Mechanization of Straightedge and Compass Constructions SCHRECK Pascal;Université de Strasbourg
A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves BOTANA Francisco;RECIO Tomás;Depto. de Matemática Aplicada I
Global Optimization of Polynomials over Real Algebraic Sets WANG Chu;YANG Zhi-Hong;ZHI Lihong;Beijing Jinghang Computation and Communication Research Institute;KLMM
A Hybrid Procedure for Finding Real Points on a Real Algebraic Set WANG Yu;XIA Bican;LMAM & School of Mathematical Sciences
The Algebro-Geometric Method for Solving Algebraic Differential Equations——A Survey WINKLER Franz;Research Institute for Symbolic Computation
The Ore-Sato Theorem and Shift Exponents in the q-Difference Case DU Hao;LI Ziming;KLMM
Elimination Theory in Differential and Difference Algebra LI Wei;YUAN Chun-Ming;KLMM
Recent Results on Constructing Boolean Functions with (Potentially) Optimal Algebraic Immunity Based on Decompositions of Finite Fields LIU Zhuojun;WU Baofeng;Key Laboratory of Mathematics Mechanization
2019 Issues:  [01]
More Issues:   [1988]   [1989]   [1990]   [1991]   [1992]   [1993]   [1994]   [1995]   [1996]   [1997]   [1998]   [1999]   [2000]   [2001]   [2002]   [2003]   [2004]   [2005]   [2006]   [2007]   [2008]   [2009]   [2010]   [2011]   [2012]   [2013]   [2014]   [2015]   [2016]   [2018]
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved