The HOL Light theory of Euclidean space
scientific article; zbMATH DE number 6154928