Nisheva-Pavlova, Maria M. Knowledge representation and problem solving in the intelligent computer algebra system STRAMS. (English) Zbl 1079.68626 God. Sofij. Univ., Fak. Mat. Inform. 91(1997), No. 2, 193-202 (1999). Summary: The paper discusses the intelligent computer algebra system STRAMS being under development at the Faculty of Mathematics and Informatics, Sofia University. The functional facilities and the architecture of STRAMS are briefly described. The presentation focuses on issues related to the suggested knowledge representation formalism, the structure and the contents of the knowledge base of STRAMS and the implemented mathematical problem solving and learning mechanisms. MSC: 68T30 Knowledge representation 68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence 68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) 68W30 Symbolic computation and algebraic computation 68T05 Learning and adaptive systems in artificial intelligence Keywords:mathematical knowledge representation; problem solving; intelligent computer algebra system Software:STRAMS PDFBibTeX XMLCite \textit{M. M. Nisheva-Pavlova}, God. Sofiĭ. Univ., Fak. Mat. Inform. 91, No. 2, 193--202 (1999; Zbl 1079.68626)