Computations of higher $K$-theory of rings Higher algebraic K-theory mathematics