Loading paper
Global dimension of real-exponent polynomial rings | Tomesphere