This book begins by introducing the area method, and recent results in automating the area method. It can either be used as a geometry text for students and geometers, or be regarded as a monograph on machine proofs in geometry. By automating the area method, this book presents a systematic way of proving geometry theorems using traditional methods. The authors aim to make learning and teaching geometry easier through this book.

This book contains results of more than a decade's effort on coupled deformation and diffusion obtained in research performed at the Institute of Fracture and Solid Mechanics, Lehigh University. Despite the overwhelming number of theories on this subject, little is known on the assessment of coupling effects because of the inherent difficulties associated with experimentation. A case in point is couple thermoelasticity, a theory that has remained virtually unused in practice. This is indicative of the inadequacy of conventional approaches. The interdependence of heat, moisture and deformation...