Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases

Abstract The classical method of Buchberger's Grobner bases for multivariate polynomial equations with a variety of applications in computer algebra is applied to three problems in elasticity concerning (i) a simple elastic truss, (ii) an elementary plane elasticity problem in rectangular coordinates, and (iii) the derivation of a compatibility partial differential equation for the stress components and the proof of biharmonicity of the same components also in plane elasticity. The present results aim at the practical illustration of the possibility of deriving computer-generated formulae in elasticity problems by using Grobner bases (as has been done in the case of geometric problems) and the popular and modern computer algebra system Maple V (equipped with a related package) has been used. Further generalizations of the present results are quite possible and some of these are discussed in brief.

[1]  Doron Zeilberger,et al.  Towards computerized proofs of identities , 1990 .

[3]  David A. Cox,et al.  Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics) , 2007 .

[4]  Shang-Ching Chou,et al.  Automated reasoning in geometries using the characteristic set method and Gröbner basis method , 1990, ISSAC '90.

[5]  Nobuki Takayama,et al.  Gröbner basis, integration and transcendental functions , 1990, ISSAC '90.

[6]  Xiao-Shan Gao,et al.  Methods for mechanical geometry formula deriving , 1990, ISSAC '90.

[7]  Harold Clifford Martin,et al.  Introduction to Matrix Methods of Structural Analysis , 1966 .

[8]  Bruno Buchberger,et al.  Applications of Gro¨bner bases in non-linear computational geometry , 1988 .

[9]  Joseph L. Mundy,et al.  Geometric Reasoning and Artificial Intelligence: Introduction to the Special Volume , 1988, Artif. Intell..

[10]  Deepak Kapur,et al.  A Refutational Approach to Geometry Theorem Proving , 1988, Artif. Intell..

[11]  Fred Brackx,et al.  Computer algebra with LISP and REDUCE - an introduction to computer-aided pure mathematics , 1991, Mathematics and its applications.

[12]  S. Chou.  Mechanical Geometry Theorem Proving , 1987 .

[13]  Tony C. Scott,et al.  Some applications of Maple symbolic computation to scientific and engineering problems , 1990, ISSAC '90.

[14]  James H. Davenport,et al.  Computer Algebra: Systems and Algorithms for Algebraic Computation , 1988 .

[15]  B. Kutzler,et al.  On the Application of Buchberger's Algorithm to Automated Geometry Theorem Proving , 1986, J. Symb. Comput..

[16]  Deepak Kapur,et al.  Using Gröbner Bases to Reason About Geometry Problems , 1986, J. Symb. Comput..

[17]  Bruce W. Char,et al.  First Leaves: A Tutorial Introduction to Maple V , 1992 .