A field-theory motivated approach to symbolic computer algebra