math.AG
Mori dream K3 surfaces of Picard number four projective models and Cox rings. In this paper we study the geometry of the 14 families of K3 surfaces of Picard number four with finite automorphism group, whose N 'eron Severi lattices have been classified by E.B. Vinberg. We provide projective models, we identify the degrees of a generating set of the Cox ring and in some cases we prove the unirationality of the associated moduli space.