Modal Analysis & BucklingExplains eigenvalue problems in Abaqus for modal analysis and buckling, covering theory, natural resonance frequencies, eigenmodes, free boundary conditions, and symmetries.
Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.