Describir: Sobolev Orthogonal Polynomials: Asymptotics and Symbolic Computation