Full Content is available to subscribers

Subscribe/Learn More  >

Symbolic Algebra and Theorem Proving for Failure Criteria Reduction

[+] Author Affiliations
John G. Michopoulos

Naval Research Laboratory, Washington, DC

Athanasios Iliopoulos

Science Applications International Corporation - Naval Research Laboratory, Washington, DC

Paper No. DETC2011-47737, pp. 201-211; 11 pages
  • ASME 2011 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference
  • Volume 2: 31st Computers and Information in Engineering Conference, Parts A and B
  • Washington, DC, USA, August 28–31, 2011
  • Conference Sponsors: Design Engineering Division and Computers and Information in Engineering Division
  • ISBN: 978-0-7918-5479-2
  • Copyright © 2011 by ASME


The present paper reports on recent efforts of utilizing symbolic computing for identifying failure criteria cross reducibility from the perspective of theorem proving. Utilizing equational theorem proving algorithms and Gröbner Basis polynomial theorem provers implemented in Mathematica we have proven a number of interesting theorems related to the area of structural failure criteria for anisotropic and particularly orthotropic materials. The main contribution of this work is the demonstration of the tremendous utility of symbolic algebra for engineering applications as well as the demonstration of the idea that all failure criteria presented in the literature up to know can be proven under certain conditions to be special forms of general criteria relating to the strain energy density function associated with material continua. Two specific examples are presented and discussed along with a theorem proving the existence of a dual form of all stress space based criteria to equivalent one expressed in strain space.

Copyright © 2011 by ASME



Interactive Graphics


Country-Specific Mortality and Growth Failure in Infancy and Yound Children and Association With Material Stature

Use interactive graphics and maps to view and sort country-specific infant and early dhildhood mortality and growth failure data and their association with maternal

Citing articles are presented as examples only. In non-demo SCM6 implementation, integration with CrossRef’s "Cited By" API will populate this tab (http://www.crossref.org/citedby.html).

Some tools below are only available to our subscribers or users with an online account.

Related Content

Customize your page view by dragging and repositioning the boxes below.

Related eBook Content
Topic Collections

Sorry! You do not have access to this content. For assistance or to subscribe, please contact us:

  • TELEPHONE: 1-800-843-2763 (Toll-free in the USA)
  • EMAIL: asmedigitalcollection@asme.org
Sign In