SMS: Sobolev Orthogonal Polynomials: Asymptotics and Symbolic Computation