Symbolic computation is about the algorithmization and automatization of the mathematical process of analyzing and solving problems. Goal is the development of exact logical deduction systems as well as algebraic computation methods as well as their implementation in mathematical software.
Subject
The contents of this subject follows from the contents of the courses it consists of.
