Characteristic set method for differential–difference polynomial systems

Journal of Symbolic Computation ◽

10.1016/j.jsc.2008.02.010 ◽

2009 ◽

Vol 44 (9) ◽

pp. 1137-1163 ◽

Author(s):

X.S. Gao ◽

J. Van der Hoeven ◽

C.M. Yuan ◽

G.L. Zhang

Keyword(s):

Polynomial Systems ◽

Characteristic Set ◽

Difference Polynomial ◽

Characteristic Set Method

Download Full-text

A characteristic set method for ordinary difference polynomial systems

Journal of Symbolic Computation ◽

10.1016/j.jsc.2007.05.005 ◽

2009 ◽

Vol 44 (3) ◽

pp. 242-260 ◽

Author(s):

Xiao-Shan Gao ◽

Yong Luo ◽

Chunming Yuan

Keyword(s):

Polynomial Systems ◽

Characteristic Set ◽

Difference Polynomial ◽

Characteristic Set Method

Download Full-text

Ritt-Wu's characteristic set method for ordinary difference polynomial systems with arbitrary ordering

Acta Mathematica Scientia ◽

10.1016/s0252-9602(09)60086-2 ◽

2009 ◽

Vol 29 (4) ◽

pp. 1063-1080 ◽

Author(s):

Gao Xiaoshan ◽

Yuan Chunming ◽

Zhang Guilin

Keyword(s):

Polynomial Systems ◽

Characteristic Set ◽

Difference Polynomial ◽

Characteristic Set Method

Download Full-text

A characteristic set method for reflexive differential-difference polynomial systems

Proceedings of the 2nd International Conference on Computer Science and Electronics Engineering (ICCSEE 2013) ◽

10.2991/iccsee.2013.76 ◽

2013 ◽

Author(s):

Zhiwang Gan ◽

Meng Zhou

Keyword(s):

Polynomial Systems ◽

Characteristic Set ◽

Difference Polynomial ◽

Characteristic Set Method

Download Full-text

Ritt-Wu Characteristic Set Method for Laurent Partial Differential Polynomial Systems

Journal of Systems Science and Complexity ◽

10.1007/s11424-019-8343-5 ◽

2019 ◽

Vol 32 (1) ◽

pp. 62-77 ◽

Author(s):

Youren Hu ◽

Xiao-Shan Gao

Keyword(s):

Polynomial Systems ◽

Differential Polynomial ◽

Characteristic Set ◽

Partial Differential ◽

Characteristic Set Method

Download Full-text

Solving Boolean polynomial systems by parallelizing characteristic set method for cyber‐physical systems

Software Practice and Experience ◽

10.1002/spe.2895 ◽

2020 ◽

Author(s):

Juan Zhao ◽

Min Zhu ◽

Xiaoyong Li ◽

Zhenyu Huang ◽

Jincai Li ◽

...

Keyword(s):

Polynomial Systems ◽

Cyber Physical Systems ◽

Characteristic Set ◽

Physical Systems ◽

Characteristic Set Method

Download Full-text

Characteristic Set Method for Laurent Differential Polynomial Systems

Computer Algebra in Scientific Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-66320-3_14 ◽

2017 ◽

pp. 183-195 ◽

Author(s):

Youren Hu ◽

Xiao-Shan Gao

Keyword(s):

Polynomial Systems ◽

Differential Polynomial ◽

Characteristic Set ◽

Characteristic Set Method

Download Full-text

On the efficiency of solving Boolean polynomial systems with the characteristic set method

Journal of Symbolic Computation ◽

10.1016/j.jsc.2019.11.001 ◽

2021 ◽

Vol 103 ◽

pp. 66-94 ◽

Author(s):

Zhenyu Huang ◽

Yao Sun (c) ◽

Dongdai Lin

Keyword(s):

Polynomial Systems ◽

Characteristic Set ◽

Characteristic Set Method

Download Full-text

Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant

Science in China Series A Mathematics ◽

10.1007/s11425-008-0053-8 ◽

2008 ◽

Vol 51 (10) ◽

pp. 1763-1774

Author(s):

RuYong Feng ◽

JianPing Yu

Keyword(s):

Theorem Proving ◽

Characteristic Set ◽

Mechanical Theorem Proving ◽

Wronskian Determinant ◽

Characteristic Set Method ◽

Mechanical Theorem

Download Full-text

Automated reasoning in differential geometry and mechanics using the characteristic set method

Journal of Automated Reasoning ◽

10.1007/bf00881834 ◽

1993 ◽

Vol 10 (2) ◽

pp. 161-172 ◽

Author(s):

Shang-Ching Chou ◽

Xiao-Shan Gao

Keyword(s):

Differential Geometry ◽

Automated Reasoning ◽

Characteristic Set ◽

Characteristic Set Method

Download Full-text

An Implementation of the Characteristic Set Method in Maple

Automated Practical Reasoning - Texts and Monographs in Symbolic Computation ◽

10.1007/978-3-7091-6604-8_9 ◽

1995 ◽

pp. 187-201 ◽

Author(s):

Dongming Wang

Keyword(s):

Characteristic Set ◽

Characteristic Set Method

Download Full-text