FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2092592918> ?p ?o ?g. }

• W2092592918 abstract "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 Gro¨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." @default.
• W2092592918 created "2016-06-24" @default.
• W2092592918 creator A5042243044 @default.
• W2092592918 creator A5074248390 @default.
• W2092592918 date "2011-01-01" @default.
• W2092592918 modified "2023-09-26" @default.
• W2092592918 title "Symbolic Algebra and Theorem Proving for Failure Criteria Reduction" @default.
• W2092592918 cites W1521083034 @default.
• W2092592918 cites W1522489781 @default.
• W2092592918 cites W1557553195 @default.
• W2092592918 cites W1567567783 @default.
• W2092592918 cites W1570454461 @default.
• W2092592918 cites W1570787829 @default.
• W2092592918 cites W1571434026 @default.
• W2092592918 cites W1590963539 @default.
• W2092592918 cites W168000538 @default.
• W2092592918 cites W1761996484 @default.
• W2092592918 cites W1977608468 @default.
• W2092592918 cites W1986264093 @default.
• W2092592918 cites W2003425586 @default.
• W2092592918 cites W2007074311 @default.
• W2092592918 cites W2013702670 @default.
• W2092592918 cites W2018760743 @default.
• W2092592918 cites W2023648368 @default.
• W2092592918 cites W2024892249 @default.
• W2092592918 cites W2032718930 @default.
• W2092592918 cites W2033390180 @default.
• W2092592918 cites W2034734280 @default.
• W2092592918 cites W2036178128 @default.
• W2092592918 cites W2040677620 @default.
• W2092592918 cites W2046175478 @default.
• W2092592918 cites W2058965012 @default.
• W2092592918 cites W2063751888 @default.
• W2092592918 cites W2067571901 @default.
• W2092592918 cites W2069871595 @default.
• W2092592918 cites W2091968494 @default.
• W2092592918 cites W2093368813 @default.
• W2092592918 cites W2094648877 @default.
• W2092592918 cites W2099078002 @default.
• W2092592918 cites W2116462892 @default.
• W2092592918 cites W2118811506 @default.
• W2092592918 cites W2128057448 @default.
• W2092592918 cites W2169565571 @default.
• W2092592918 cites W3033394545 @default.
• W2092592918 cites W561658155 @default.
• W2092592918 doi "https://doi.org/10.1115/detc2011-47737" @default.
• W2092592918 hasPublicationYear "2011" @default.
• W2092592918 type Work @default.
• W2092592918 sameAs 2092592918 @default.
• W2092592918 citedByCount "0" @default.
• W2092592918 crossrefType "proceedings-article" @default.
• W2092592918 hasAuthorship W2092592918A5042243044 @default.
• W2092592918 hasAuthorship W2092592918A5074248390 @default.
• W2092592918 hasConcept C110812573 @default.
• W2092592918 hasConcept C111335779 @default.
• W2092592918 hasConcept C11413529 @default.
• W2092592918 hasConcept C121332964 @default.
• W2092592918 hasConcept C131336679 @default.
• W2092592918 hasConcept C134306372 @default.
• W2092592918 hasConcept C135628077 @default.
• W2092592918 hasConcept C136119220 @default.
• W2092592918 hasConcept C14036430 @default.
• W2092592918 hasConcept C194886279 @default.
• W2092592918 hasConcept C202444582 @default.
• W2092592918 hasConcept C206880738 @default.
• W2092592918 hasConcept C2524010 @default.
• W2092592918 hasConcept C33923547 @default.
• W2092592918 hasConcept C41008148 @default.
• W2092592918 hasConcept C45962547 @default.
• W2092592918 hasConcept C78458016 @default.
• W2092592918 hasConcept C86803240 @default.
• W2092592918 hasConcept C90119067 @default.
• W2092592918 hasConcept C97355855 @default.
• W2092592918 hasConceptScore W2092592918C110812573 @default.
• W2092592918 hasConceptScore W2092592918C111335779 @default.
• W2092592918 hasConceptScore W2092592918C11413529 @default.
• W2092592918 hasConceptScore W2092592918C121332964 @default.
• W2092592918 hasConceptScore W2092592918C131336679 @default.
• W2092592918 hasConceptScore W2092592918C134306372 @default.
• W2092592918 hasConceptScore W2092592918C135628077 @default.
• W2092592918 hasConceptScore W2092592918C136119220 @default.
• W2092592918 hasConceptScore W2092592918C14036430 @default.
• W2092592918 hasConceptScore W2092592918C194886279 @default.
• W2092592918 hasConceptScore W2092592918C202444582 @default.
• W2092592918 hasConceptScore W2092592918C206880738 @default.
• W2092592918 hasConceptScore W2092592918C2524010 @default.
• W2092592918 hasConceptScore W2092592918C33923547 @default.
• W2092592918 hasConceptScore W2092592918C41008148 @default.
• W2092592918 hasConceptScore W2092592918C45962547 @default.
• W2092592918 hasConceptScore W2092592918C78458016 @default.
• W2092592918 hasConceptScore W2092592918C86803240 @default.
• W2092592918 hasConceptScore W2092592918C90119067 @default.
• W2092592918 hasConceptScore W2092592918C97355855 @default.
• W2092592918 hasLocation W20925929181 @default.
• W2092592918 hasOpenAccess W2092592918 @default.
• W2092592918 hasPrimaryLocation W20925929181 @default.
• W2092592918 hasRelatedWork W1515890570 @default.
• W2092592918 hasRelatedWork W1909372522 @default.
• W2092592918 hasRelatedWork W1969286122 @default.
• W2092592918 hasRelatedWork W1980363707 @default.

• next