Bilinear Forms over a Field by Charles Weibel (source code)

= Bilinear Forms over a Field by Charles Weibel
{c}
{tag=Work by Charles Weibel}

https://sites.math.rutgers.edu/~weibel/papers-dir/Bilforms.pdf

Authorship: the document is linked as the bilinear-forms supplement from https://sites.math.rutgers.edu/~weibel/.

Cited passages: printed p. 2, classification of symmetric bilinear forms over an algebraically closed field; printed pp. 2–3, real diagonalization and Sylvester's law of inertia. The Witt-group examples in the wiki are deductions from these classifications, with the cancellation argument given explicitly.