Symbolic manipulation and computational fluid dynamics