Knowledge representation and problem solving in the intelligent computer algebra system STRAMS

MaRDI QIDQ3365568zbMATH OpenFDO

Authors Maria M. Nisheva-Pavlova

Publication date 23 January 2006

zbMATH Keywords

intelligent computer algebra systemmathematical knowledge representationproblem solving

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Symbolic computation and algebraic computation (68W30)

Recommendations

• KAM -- a knowledge-based tool for developing computer algebra systems
• scientific article; zbMATH DE number 125112
• scientific article; zbMATH DE number 1322828
• scientific article; zbMATH DE number 622672
• Computer algebra and artificial intelligence

Cited in

(8)

• Computer algebra and artificial intelligence
• Transparent rule based CAS to support formalization of knowledge
• Solving mathematical problems using knowledge-based systems
• KAM -- a knowledge-based tool for developing computer algebra systems
• A knowledge-based system for computer algebra
• scientific article; zbMATH DE number 1322828 (Why is no real title available?)
• scientific article; zbMATH DE number 622672 (Why is no real title available?)
• A system simulating representation change phenomena while problem solving

Describes a project that uses

Uses Software

• STRAMS

This page was built for publication: Knowledge representation and problem solving in the intelligent computer algebra system STRAMS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3365568)