Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
Full-Text Search:
FQ: 双月
AD of Publication: 北京市
Lanuage: 英文;
ISSN: 1009-6124
CN: 11-4543/O1
YP: 1988
Url: 中国科学院系统科学研究院
Recommended Journals
2019 -01
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]
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved