Заглавие | Knowledge representation and problem solving in the intelligent computer algebra system STRAMS |
Вид публикация | Journal Article |
Година на публикуване | 1999 |
Автори | Nisheva-Pavlova M |
Списание | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
Том | 91 |
Issue | Livre 2 - Mathématiques Appliquée et Informatique |
Pagination | 193-202 |
ISSN | 0205-0808 |
ключови думи | intelligent computer algebra system, mathematical knowledge representation, problem solving |
Резюме | 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 |
Прикачен файл | Размер |
---|---|
91-193-202.pdf | 1.05 MB |