The Conway-Sloane calculus for 2-adic lattices
arXiv:1511.04614
Abstract
We motivate and explain the system introduced by Conway and Sloane for working with quadratic forms over the 2-adic integers, and prove its validity. Their system is far better for actual calculations than earlier methods, and has been used for many years, but no proof has been published before now.
Final revisions