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

Gröbner Basis Method in FitzHugh-Nagumo Model

11th Chaotic Modeling and Simulation International Conference - Springer Proceedings in Complexity ◽

10.1007/978-3-030-15297-0_8 ◽

2019 ◽

pp. 77-84

Author(s):

Veronika Hajnová

Keyword(s):

Gröbner Basis ◽

Grobner Basis ◽

Download Full-text

Bifurcation manifolds in predator–prey models computed by Gröbner basis method

Mathematical Biosciences ◽

10.1016/j.mbs.2019.03.008 ◽

2019 ◽

Vol 312 ◽

pp. 1-7 ◽

Author(s):

Veronika Hajnová ◽

Lenka Přibylová

Keyword(s):

Gröbner Basis ◽

Grobner Basis ◽

Predator Prey ◽

Predator Prey Models ◽

Download Full-text

A Gröbner Basis Method for Modules over Rings of Differential Operators

Journal of Symbolic Computation ◽

10.1006/jsco.1994.1046 ◽

1994 ◽

Vol 18 (3) ◽

pp. 223-248 ◽

Author(s):

Toshinori Oaku ◽

Takeshi Shimoyama

Keyword(s):

Gröbner Basis ◽

Differential Operators ◽

Grobner Basis ◽

Rings Of Differential Operators ◽

Download Full-text

Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method

Journal of Automated Reasoning ◽

10.1007/s10817-016-9395-z ◽

2016 ◽

Vol 59 (3) ◽

pp. 331-344 ◽

Author(s):

Jie Zhou ◽

Dingkang Wang ◽

Yao Sun

Keyword(s):

Theorem Proving ◽

Gröbner Basis ◽

Grobner Basis ◽

Geometric 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

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

Invariant Sets and Output Dead Beat Controllability for Odd Polynomial Systems: The Gröbner Basis Method

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)57982-3 ◽

1996 ◽

Vol 29 (1) ◽

pp. 2102-2107

Author(s):

Dragan Nešić ◽

Iven M.Y. Mareels

Keyword(s):

Gröbner Basis ◽

Polynomial Systems ◽

Invariant Sets ◽

Grobner Basis ◽

Download Full-text

Geometry Theorem Proving Using The Gröbner Basis Method

Mechanical Geometry Theorem Proving ◽

10.1007/978-94-009-4037-6_5 ◽

1988 ◽

pp. 75-89

Author(s):

Shang-Ching Chou

Keyword(s):

Theorem Proving ◽

Gröbner Basis ◽

Grobner Basis ◽

Geometry Theorem Proving ◽

Download Full-text

Automated proving and analysis of geometric theorems in coordinate-free form by using the anticommutative Gröbner basis method

Journal of Mathematical Sciences ◽

10.1007/s10958-006-0170-2 ◽

2006 ◽

Vol 135 (5) ◽

pp. 3409-3419

Author(s):

I. J. Tchoupaeva

Keyword(s):

Gröbner Basis ◽

Free Form ◽

Grobner Basis ◽

Download Full-text