This paper mainly presents the problem of bilinearization as an example of what can be done with symbolic computation in nonlinear control and design, and where are its weaknesses. It is a contribution to the development of symbolic computational tools for nonlinear control and design, and it results in a functional package computed with Mathematica.