This book is concerned with one of the most fundamental questions of mathematics: the relationship between algebraic formulas and geometric images.

At one of the first international mathematical congresses (in Paris in 1900), Hilbert stated a special case of this question in the form of his 16th problem (from his list of 23 problems left over from the nineteenth century as a legacy for the twentieth century).

In spite of the simplicity and importance of this problem (including its numerous applications), it remains unsolved to this day (although, as you will now see, many remarkable results have been discovered).

This is the first attempt of a systematic study of real Enriques surfaces culminating in their classification up to deformation. Simple explicit topological invariants are elaborated for identifying the deformation classes of real Enriques surfaces. Some of theses are new and can be applied to other classes of surfaces or higher-dimensional varieties. Intended for researchers and graduate students in real algebraic geometry it may also interest others who want to become familiar with the field and its techniques. The study relies on topology of involutions, arithmetics of integral quadratic forms, algebraic geometry of surfaces, and the hyperk hler structure of K3-surfaces. A comprehensive summary of the necessary results and techniques from each of these fields is included. Some results are developed further, e.g., a detailed study of lattices with a pair of commuting involutions and a certain class of rational complex surfaces.