Computer algebra and artificial intelligence

DOI10.1016/S0378-4754(97)00087-6zbMath1017.68953OpenAlexW2087539966WikidataQ126437205 ScholiaQ126437205MaRDI QIDQ1404691

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 algebraComputational methodsKnowledge representationMultiagent systems

Mathematics Subject Classification ID

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

Uses Software

• OMRS
• IMPS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Artificial intelligence and symbolic mathematical computing. International conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
• Economic incentives in software design
• IMPS: An interactive mathematical proof system
• A perspective on symbolic mathematical computing and artificial intelligence
• Indexed types
• Towards the Mathematics Software Bus
• Computer algebra and field theories

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