Symbolic Computation door Robert Grossman