  We introduce an algebra given by quadratic relations in an algebra of
polynomials in an infinite number of variables. Using this algebra, we prove
some explicit formulas for the Sturm sequence of a polynomial.
