Product Description: Two decades ago, Boyer and Moore built one of the first automated theorem provers that was capable of proofs by mathematical induction. Today, the Boyer-Moore theorem prover remains the most successful in the field. For a long time, the research on automated mathematical induction was confined to very few people...read more

Product Description: This book is designed for use as a supplement to the textbook "Plasticity for Structural Engineers" by W.F. Chen and D.J. Han (Springer-Verlag, 1988) or other plasticity texts. The purpose is to help students and structural engineers learn and practice how to solve typical engineering plasticity problems in general and, more importantly, how to use computers to solve plasticity problems in structural engineering in particular...read more