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

Toshinori Oaku; Takeshi Shimoyama

doi:10.1006/jsco.1994.1046

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 ◽

Cited By ~ 11

Author(s):

Toshinori Oaku ◽

Takeshi Shimoyama

Keyword(s):

Gröbner Basis ◽

Differential Operators ◽

Grobner Basis ◽

Rings Of Differential Operators ◽

Basis Method

Download Full-text

Gröbner Basis for Rings of Differential Operators and Applications

Gröbner Bases ◽

10.1007/978-4-431-54574-3_6 ◽

2013 ◽

pp. 279-344

Author(s):

Nobuki Takayama

Keyword(s):

Gröbner Basis ◽

Differential Operators ◽

Grobner Basis ◽

Rings Of Differential Operators

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 ◽

Basis Method

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 ◽

Cited By ~ 1

Author(s):

Veronika Hajnová ◽

Lenka Přibylová

Keyword(s):

Gröbner Basis ◽

Grobner Basis ◽

Predator Prey ◽

Predator Prey Models ◽

Basis Method

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 ◽

Cited By ~ 3

Author(s):

Jie Zhou ◽

Dingkang Wang ◽

Yao Sun

Keyword(s):

Theorem Proving ◽

Gröbner Basis ◽

Grobner Basis ◽

Geometric Theorem ◽

Basis 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 ◽

Cited By ~ 5

Author(s):

S-C. Chou

Keyword(s):

Automated Reasoning ◽

Gröbner Basis ◽

Characteristic Set ◽

Grobner Basis ◽

Characteristic Set Method ◽

Basis 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 ◽

Basis Method

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 ◽

Basis Method

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 ◽

Basis Method

Download Full-text

Applying Gröbner Basis Method to Multiparametric Polynomial Nonlinear Programming

Bulletin of the Iranian Mathematical Society ◽

10.1007/s41980-019-00217-3 ◽

2019 ◽

Vol 45 (6) ◽

pp. 1585-1603

Author(s):

Benyamin M.-Alizadeh ◽

Abdolali Basiri ◽

Sajjad Rahmany

Keyword(s):

Nonlinear Programming ◽

Gröbner Basis ◽

Grobner Basis ◽

Basis Method

Download Full-text

THE GRÖBNER BASIS METHOD IN CONTROL DESIGN: AN OVERVIEW

IFAC Proceedings Volumes ◽

10.3182/20020721-6-es-1901.00908 ◽

2002 ◽

Vol 35 (1) ◽

pp. 13-18

Author(s):

D. Nešić ◽

I.M.Y. Mareels ◽

T. Glad ◽

M. Jirstrand

Keyword(s):

Gröbner Basis ◽

Control Design ◽

Grobner Basis ◽

Basis Method

Download Full-text