Symbolic computations of nonlinear observability