| Заглавие | KAM - A KNOWLEDGE-BASED TOOL FOR DEVELOPING COMPUTER ALGEBRA SYSTEMS |
| Вид публикация | Journal Article |
| Година на публикуване | 1998 |
| Автори | Nisheva-Pavlova M |
| Списание | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
| Том | 90 |
| Issue | Livre 2 - Mathématiques Appliquée et Informatique |
| Pagination | 165-176 |
| ISSN | 0205-0808 |
| ключови думи | intelligent computer algebra system, knowledge representation tools |
| Резюме | The paper presents a description of KAM - a knowledge-based tool for building computer algebra systems developed at the Faculty of Mathematics and Informatics, Sofia University. The main features of KAM are analyzed. The architecture of KAM and the knowledge representation formalisms supported by the tool transformation rules, frames, rewrite rules, generalized rules, are briefly described. A presentation of the experimental computer algebra system STRAMS being under development as an application of KAM is given. |
| 1991/95 MSC | main 69T35, secondary 68T30, 68T05 |
| Прикачен файл | Размер |
|---|---|
 90-165-176.pdf | 1.23 MB |