Computer algebra systems are widely used in pure and applied mathematics, physics, and other natural sciences, engineering, economics, as well as in higher and secondary education (see, e.g., [1–5]). For example, many ...