Foreword to the Special Issue

被引：1

作者：

Gao, Xiao-Shan ^{[1
]}

Li, Hongbo ^{[1
]}

Wang, Dongming ^{[2
,3
]}

机构：

[1] Chinese Acad Sci, Univ Chinese Acad Sci, Acad Math & Syst Sci, Key Lab Math Mechanizat, Beijing 100190, Peoples R China

[2] Beihang Univ, LMIB SKLSDE Sch Math & Syst Sci, Beijing Adv Innovat Ctr Big Data & Brain Comp, Beijing 100191, Peoples R China

[3] CNRS, F-75794 Paris 16, France

来源：

JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY | 2019年 / 32卷 / 01期

关键词：

D O I：

10.1007/s11424-019-8000-z

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：1 / 2

页数：2

共 18 条

[1] A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves [J].

Botana, Francisco ;

Recio, Tomas .

JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 32 (01) :150-157

[2] On the Contribution of Wu Wen-Tsun to Algebraic Topology [J].

Brasselet, Jean-Paul .

JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 32 (01) :3-36

[3] The Ore-Sato Theorem and Shift Exponents in the q-Difference Case [J].

Du Hao ;

Li Ziming .

JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 32 (01) :271-286

[4] Ritt-Wu Characteristic Set Method for Laurent Partial Differential Polynomial Systems [J].

Hu Youren ;

Gao Xiao-Shan .

JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 32 (01) :62-77

[5] Conditional Congruence Closure over Uninterpreted and Interpreted Symbols [J].

Kapur, Deepak .

JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 32 (01) :317-355

[6] Hilbert Problem 15 and Ritt-Wu Method (I) [J].

Li Banghe .

JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 32 (01) :47-61

[7] Automated Theorem Proving Practice with Null Geometric Algebra [J].

Li Hongbo .

JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 32 (01) :95-123

[8] Speeding Up the GVW Algorithm via a Substituting Method [J].

Li Ting ;

Sun Yao ;

Huang Zhenyu ;

Wang Dingkang ;

Lin Dongdai .

JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 32 (01) :205-233

[9] Elimination Theory in Differential and Difference Algebra [J].

Li Wei ;

Yuan Chun-Ming .

JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 32 (01) :287-316

[10] Recent Results on Constructing Boolean Functions with (Potentially) Optimal Algebraic Immunity Based on Decompositions of Finite Fields [J].

Liu Zhuojun ;

Wu Baofeng .

JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 32 (01) :356-374

← 1 2 →