KAM - A KNOWLEDGE-BASED TOOL FOR DEVELOPING COMPUTER ALGEBRA SYSTEMS

TitleKAM - A KNOWLEDGE-BASED TOOL FOR DEVELOPING COMPUTER ALGEBRA SYSTEMS
Publication TypeJournal Article
Year of Publication1998
AuthorsNisheva-Pavlova M
JournalAnnuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique
Volume90
IssueLivre 2 - Mathématiques Appliquée et Informatique
Pagination165-176
ISSN0205-0808
Keywordsintelligent 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

AttachmentSize
PDF icon 90-165-176.pdf1.23 MB