Matches in SemOpenAlex for { <https://semopenalex.org/work/W3036532921> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3036532921 abstract "Analytical mechanics provides the central guidelines for the design of engineering machinery in use today. One of the main pillars for analytical mechanics is the principle of virtual work. In the establishment of this principle, the Gateaux derivative plays an indispensable role. In this paper, we formalize the Gateaux derivative in the interactive theorem prover HOL Light. On this basis, we formally verify the principle of virtual work. This effort paves way for the computerized formalization of analytical mechanics. Thus, it will ultimately contribute to the verified design of engineering machinery, which comes with correctness guarantees beyond what is enabled by the currently adopted validation techniques." @default.
- W3036532921 created "2020-06-25" @default.
- W3036532921 creator A5021154790 @default.
- W3036532921 creator A5035489181 @default.
- W3036532921 creator A5052651640 @default.
- W3036532921 creator A5087366755 @default.
- W3036532921 date "2020-05-01" @default.
- W3036532921 modified "2023-09-24" @default.
- W3036532921 title "Formalization of the Gateaux derivative of functional and application in the principle of virtual work" @default.
- W3036532921 cites W1968465135 @default.
- W3036532921 cites W2011466399 @default.
- W3036532921 cites W2091456056 @default.
- W3036532921 cites W2143235494 @default.
- W3036532921 cites W2192865938 @default.
- W3036532921 cites W4229811710 @default.
- W3036532921 doi "https://doi.org/10.1088/1742-6596/1550/3/032003" @default.
- W3036532921 hasPublicationYear "2020" @default.
- W3036532921 type Work @default.
- W3036532921 sameAs 3036532921 @default.
- W3036532921 citedByCount "0" @default.
- W3036532921 crossrefType "journal-article" @default.
- W3036532921 hasAuthorship W3036532921A5021154790 @default.
- W3036532921 hasAuthorship W3036532921A5035489181 @default.
- W3036532921 hasAuthorship W3036532921A5052651640 @default.
- W3036532921 hasAuthorship W3036532921A5087366755 @default.
- W3036532921 hasBestOaLocation W30365329211 @default.
- W3036532921 hasConcept C106159729 @default.
- W3036532921 hasConcept C111771559 @default.
- W3036532921 hasConcept C11413529 @default.
- W3036532921 hasConcept C12426560 @default.
- W3036532921 hasConcept C127413603 @default.
- W3036532921 hasConcept C135628077 @default.
- W3036532921 hasConcept C136560751 @default.
- W3036532921 hasConcept C162324750 @default.
- W3036532921 hasConcept C17435882 @default.
- W3036532921 hasConcept C18762648 @default.
- W3036532921 hasConcept C199343813 @default.
- W3036532921 hasConcept C199360897 @default.
- W3036532921 hasConcept C206880738 @default.
- W3036532921 hasConcept C2524010 @default.
- W3036532921 hasConcept C2777686260 @default.
- W3036532921 hasConcept C33923547 @default.
- W3036532921 hasConcept C41008148 @default.
- W3036532921 hasConcept C55439883 @default.
- W3036532921 hasConcept C66938386 @default.
- W3036532921 hasConcept C71924100 @default.
- W3036532921 hasConcept C78519656 @default.
- W3036532921 hasConceptScore W3036532921C106159729 @default.
- W3036532921 hasConceptScore W3036532921C111771559 @default.
- W3036532921 hasConceptScore W3036532921C11413529 @default.
- W3036532921 hasConceptScore W3036532921C12426560 @default.
- W3036532921 hasConceptScore W3036532921C127413603 @default.
- W3036532921 hasConceptScore W3036532921C135628077 @default.
- W3036532921 hasConceptScore W3036532921C136560751 @default.
- W3036532921 hasConceptScore W3036532921C162324750 @default.
- W3036532921 hasConceptScore W3036532921C17435882 @default.
- W3036532921 hasConceptScore W3036532921C18762648 @default.
- W3036532921 hasConceptScore W3036532921C199343813 @default.
- W3036532921 hasConceptScore W3036532921C199360897 @default.
- W3036532921 hasConceptScore W3036532921C206880738 @default.
- W3036532921 hasConceptScore W3036532921C2524010 @default.
- W3036532921 hasConceptScore W3036532921C2777686260 @default.
- W3036532921 hasConceptScore W3036532921C33923547 @default.
- W3036532921 hasConceptScore W3036532921C41008148 @default.
- W3036532921 hasConceptScore W3036532921C55439883 @default.
- W3036532921 hasConceptScore W3036532921C66938386 @default.
- W3036532921 hasConceptScore W3036532921C71924100 @default.
- W3036532921 hasConceptScore W3036532921C78519656 @default.
- W3036532921 hasLocation W30365329211 @default.
- W3036532921 hasOpenAccess W3036532921 @default.
- W3036532921 hasPrimaryLocation W30365329211 @default.
- W3036532921 hasRelatedWork W11150396 @default.
- W3036532921 hasRelatedWork W11532415 @default.
- W3036532921 hasRelatedWork W12986456 @default.
- W3036532921 hasRelatedWork W14074199 @default.
- W3036532921 hasRelatedWork W14193191 @default.
- W3036532921 hasRelatedWork W14274997 @default.
- W3036532921 hasRelatedWork W14349579 @default.
- W3036532921 hasRelatedWork W1781094 @default.
- W3036532921 hasRelatedWork W2137705 @default.
- W3036532921 hasRelatedWork W8806750 @default.
- W3036532921 isParatext "false" @default.
- W3036532921 isRetracted "false" @default.
- W3036532921 magId "3036532921" @default.
- W3036532921 workType "article" @default.