Title: Introduction to symbolic computation