AISC Meets Natural Typography

DOI10.1007/978-3-540-85110-3_6MaRDI QIDQ5505489zbMATH OpenOpenAlexWikidataFDO

Authors James H. Davenport

Publication date 27 January 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85110-3_6

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Computing methodologies for text processing; mathematical typography (68U15)

Recommendations

• A revisited perspective on symbolic mathematical computing and artificial intelligence
• Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integr
• A perspective on symbolic mathematical computing and artificial intelligence
• scientific article; zbMATH DE number 4076613
• scientific article; zbMATH DE number 622671

Cites work

• scientific article; zbMATH DE number 5347544 (Why is no real title available?)
• scientific article; zbMATH DE number 486467 (Why is no real title available?)
• scientific article; zbMATH DE number 1951626 (Why is no real title available?)
• scientific article; zbMATH DE number 3273551 (Why is no real title available?)
• scientific article; zbMATH DE number 3334182 (Why is no real title available?)
• A GENERAL METHOD FOR APPROXIMATING TO THE DISTRIBUTION OF LIKELIHOOD RATIO CRITERIA
• The freedom to extend OpenMath and its utility

Cited in

(1)

• Artificial intelligence study of the system JCS-08-13-2022

This page was built for publication: AISC Meets Natural Typography

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