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

2006 ◽  
Vol 135 (5) ◽  
pp. 3409-3419
Author(s):  
I. J. Tchoupaeva
Keyword(s):  
Gröbner Basis ◽  
Free Form ◽  
Grobner Basis ◽  
Basis Method

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

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

Applying Gröbner Basis Method to Multiparametric Polynomial Nonlinear Programming

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

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

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
Sign in / Sign up

Export Citation Format

Share Document