Title | KAM - A KNOWLEDGE-BASED TOOL FOR DEVELOPING COMPUTER ALGEBRA SYSTEMS |
Publication Type | Journal Article |
Year of Publication | 1998 |
Authors | Nisheva-Pavlova M |
Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
Volume | 90 |
Issue | Livre 2 - Mathématiques Appliquée et Informatique |
Pagination | 165-176 |
ISSN | 0205-0808 |
Keywords | intelligent computer algebra system, knowledge representation tools |
Abstract | 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 |
Attachment | Size |
---|---|
90-165-176.pdf | 1.23 MB |