On the K-theory of -- announcement
We announce new methods for using prismatic cohomology to compute the K-groups of and related rings. We use computer algebra methods to compute these K-groups through a large range in specific cases and also obtain explicit formulas for their orders in large degrees.