He accomplished this by introducing several models of non-Euclidean geometry that are now known as the Beltrami–Klein model, the Poincaré disk model, and the Poincaré half-plane model, together with transformations that relate them.