Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28--August 1, 2008. Proceedings

DOI10.1007/978-3-540-85110-3zbMath1154.68002OpenAlexW2405355120MaRDI QIDQ958360

No author found.

Publication date: 4 December 2008

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

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68Txx)

Related Items

Formal Proof: Reconciling Correctness and Understanding, A Review of Mathematical Knowledge Management, Integrating Web Services into Active Mathematical Documents

Uses Software

• Coq
• Maple