Computer algebra and artificial intelligence

DOI10.1016/S0378-4754(97)00087-6MaRDI QIDQ1404691zbMATH OpenOpenAlexWikidataFDO

Authors Jacques Calmet

Publication date 21 August 2003

Published in Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0378-4754(97)00087-6

zbMATH Keywords

Computer algebraKnowledge representationMultiagent systemsComputational methods

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) General topics in artificial intelligence (68T01)

Recommendations

• scientific article; zbMATH DE number 622671
• scientific article; zbMATH DE number 622672
• A perspective on symbolic mathematical computing and artificial intelligence
• Knowledge representation and problem solving in the intelligent computer algebra system STRAMS
• KAM -- a knowledge-based tool for developing computer algebra systems

Cites work

• scientific article; zbMATH DE number 3754084 (Why is no real title available?)
• scientific article; zbMATH DE number 1254246 (Why is no real title available?)
• scientific article; zbMATH DE number 1350001 (Why is no real title available?)
• scientific article; zbMATH DE number 1140677 (Why is no real title available?)
• scientific article; zbMATH DE number 1140680 (Why is no real title available?)
• A perspective on symbolic mathematical computing and artificial intelligence
• Artificial intelligence and symbolic mathematical computing. International conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
• Computer algebra and field theories
• Economic incentives in software design
• IMPS: An interactive mathematical proof system
• Indexed types
• Towards the Mathematics Software Bus

Cited in

(8)

• Knowledge representation and problem solving in the intelligent computer algebra system STRAMS
• Locally effective objects and artificial intelligence
• scientific article; zbMATH DE number 2079846 (Why is no real title available?)
• Artificial Intelligence and Symbolic Computation
• A revisited perspective on symbolic mathematical computing and artificial intelligence
• Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
• KAM -- a knowledge-based tool for developing computer algebra systems
• Interactions between computational intelligence and mathematics

Describes a project that uses

Uses Software

• IMPS
• OMRS

This page was built for publication: Computer algebra and artificial intelligence

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