The paper offers a case study of the teaching of a traditionally-taught abstract algebra course, including showing the range of practice as larger than previously described in research literature.

As our main tool, we formalize Gauss’ geometric notion of winding number (1799) in the real-algebraic setting, from which we derive a real-algebraic proof of the Fundamental Theorem of Algebra. The ...