Attacking Bivium and Trivium with the Characteristic Set Method

Lecture Notes in Computer Science - Progress in Cryptology – AFRICACRYPT 2011 ◽

10.1007/978-3-642-21969-6_5 ◽

2011 ◽

pp. 77-91 ◽

Author(s):

Zhenyu Huang ◽

Dongdai Lin

Keyword(s):

Characteristic Set ◽

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

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

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

Journal of Automated Reasoning ◽

10.1007/bf00881835 ◽

1993 ◽

Vol 10 (2) ◽

pp. 173-189 ◽

Author(s):

Shang-Ching Chou ◽

Xiao-Shan Gao

Keyword(s):

Differential Geometry ◽

Automated Reasoning ◽

Characteristic Set ◽

Characteristic Set Method

Download Full-text

Automated Reasoning and Equation Solving with the Characteristic Set Method

Journal of Computer Science and Technology ◽

10.1007/s11390-006-0756-7 ◽

2006 ◽

Vol 21 (5) ◽

pp. 756-764 ◽

Author(s):

Wen-Tsun Wu ◽

Xiao-Shan Gao

Keyword(s):

Automated Reasoning ◽

Characteristic Set ◽

Equation Solving ◽

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

Finding Loop Invariants Based on Wu's Characteristic Set Method

Information Technology Journal ◽

10.3923/itj.2010.349.353 ◽

2010 ◽

Vol 9 (2) ◽

pp. 349-353 ◽

Author(s):

Yong Cao ◽

Qing-Xin Zhu

Keyword(s):

Characteristic Set ◽

Characteristic Set Method

Download Full-text

Automated reasoning in geometries using the characteristic set method and Gröbner basis method

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '90 ◽

10.1145/96877.96942 ◽

1990 ◽

Author(s):

S-C. Chou

Keyword(s):

Automated Reasoning ◽

Gröbner Basis ◽

Characteristic Set ◽

Grobner Basis ◽

Characteristic Set Method ◽

Download Full-text

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