Introduction to Computational Contact Mechanics: A Geometrical Approach covers the fundamentals of computational contact mechanics and focuses on its practical implementation. Part one of this textbook focuses on the underlying theory and covers essential information about differential geometry and mathematical methods which are necessary to build the computational algorithm independently from other courses in mechanics. The geometrically exact theory for the computational contact mechanics is described in step-by-step manner, using examples of strict derivation from a mathematical point of view. The final goal of the theory is to construct in the independent approximation form /so-called covariant form, including application to high-order and isogeometric finite elements. The second part of a book is a practical guide for programming of contact elements and is written in such a way that makes it easy for a programmer to implement using any programming language. All programming examples are accompanied by a set of verification examples allowing the user to learn the research verification technique, essential for the computational contact analysis. Key features: Covers the fundamentals of computational contact mechanicsCovers practical programming, verification and analysis of contact problemsPresents the geometrically exact theory for computational contact mechanicsDescribes algorithms used in well-known finite element software packagesDescribes modeling of forces as an inverse contact algorithmIncludes practical exercisesContains unique verification examples such as the generalized Euler formula for a rope on a surface, and the impact problem and verification of thå percussion centerAccompanied by a website hosting software Introduction to Computational Contact Mechanics: A Geometrical Approach is an ideal textbook for graduates and senior undergraduates, and is also a useful reference for researchers and practitioners working in computational mechanics.