The symbolic computation of vector field expressions
This is an expository paper explaining how trees can be used to compute effectively the vector field expressions which arise in nonlinear control theory. It also describe the mathematical structure that sets of trees carry.