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

DOI10.1016/0045-7825(93)90022-PzbMath0847.73075MaRDI QIDQ1912176

E. G. Anastasselou, Nikolaos I. Ioakimidis

Publication date: 20 October 1996

Published in: Computer Methods in Applied Mechanics and Engineering (Search for Journal in Brave)

zbMATH Keywords

plane elasticity problemmultivariate polynomial equationscomputer algebra system Maple Vequation for stress componentsproof of biharmonicitysimple elastic truss

Mathematics Subject Classification ID

Related Items (1)

Gröbner bases plugged into graphical skills to solve a set of multiple bifurcation equations in structural compound stability problems

Uses Software

• Maple
• Groebner

Cites Work

• On the application of Buchberger's algorithm to automated geometry theorem proving
• Using Gröbner bases to reason about geometry problems
• A refutational approach to geometry theorem proving
• Application of Gröbner bases to problems of movement of a particle
• Towards computerized proofs of identities
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases