Location: [Computer Science] [Marina Gavrilova]
This thesis was completed for my Bachelor's degree at Lomonosov Moscow State University. The topic of the thesis is the design of knowledge-based computer system for mathematical research. The project used recent developments in the field of artificial intelligence and applied them to the problem of symbolic computations.
The computer system for symbolic computations was designed and implemented using object-oriented programming techniques. The interactive user-friendly environment in which user could perform mathematical operation was named "Math Assistant". The main feature of the "Math Assistant" was its ability to perform symbolic transformations on mathematical formulas. The system could apply basic arithmetic and logical operators, take derivatives and integrals and solve linear and quadratic equations.
The core of the system comprised a library of mathematical methods and theorems, such as calculus formulas, algebraic transformation rules and methods for solving equations. For each particular problem the inference engine selected the set of applicable rules and applied them to the formula. The results were evaluated by using weighting heuristics and then the answer was provided to the user. Some of the approaches used in system development were presented on international East-West Conference on Emerging Computer Technologies in Education in 1992.