Title | Knowledge representation and problem solving in the intelligent computer algebra system STRAMS |
Publication Type | Journal Article |
Year of Publication | 1999 |
Authors | Nisheva-Pavlova M |
Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
Volume | 91 |
Issue | Livre 2 - Mathématiques Appliquée et Informatique |
Pagination | 193-202 |
ISSN | 0205-0808 |
Keywords | intelligent computer algebra system, mathematical knowledge representation, problem solving |
Abstract | 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. |
1991/95 MSC | main 68T30, secondary 68T35 |
Attachment | Size |
---|---|
91-193-202.pdf | 1.05 MB |