A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving

DOI10.1023/A:1018935718357MaRDI QIDQ1601834zbMATH OpenOpenAlexWikidataFDO

Authors Harvey J. Greenberg

Publication date 27 June 2002

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1018935718357

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 622660
• A revisited perspective on symbolic mathematical computing and artificial intelligence
• A perspective on symbolic mathematical computing and artificial intelligence
• Towards the automatic mathematician
• scientific article; zbMATH DE number 622661

Cited in

(1)

• Mathematics, word problems, common sense, and artificial intelligence

This page was built for publication: A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving

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