Analyzer of Algebraic Expressions

The aim of this bachelor's degree project is to analyze problems of computer simplifications of algebraic expressions and to create a program capable of performing such simplifications not involving human supervision. The first part provides a detailed analysis of expressions and their simplifications as well and objectives of such simplifications. It suggests and describes a formal language of expressions and presents a description of this formal language semantics. The second part of the project provides specific computer representation implementation of the language and a program capable of simplifying algebraic expressions. It contains a description of classes and algorithms used, examination of possibilities and explanation of suggested solutions