×

zbMATH — the first resource for mathematics

KAM – a knowledge-based tool for developing computer algebra systems. (English) Zbl 1079.68628
Summary: 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.
MSC:
68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68T30 Knowledge representation
68T05 Learning and adaptive systems in artificial intelligence
68W30 Symbolic computation and algebraic computation
Software:
KAM
PDF BibTeX XML Cite