Intelligent Computer Mathematics (MKM, Calculemus, DML, and Systems and Projects 2013)

This collection presents the proceedings from a significant symposium focusing on the integration of mathematics and computer science, held as part of a larger conference in 2013. It brings together leading researchers and practitioners who explore the intersection of intelligent computer mathematics and various systems. The contributions highlight innovative projects, techniques, and methodologies that harness computational power to address complex mathematical challenges.

Readers will find discussions encompassing a wide range of topics, including algorithms, formal methods, and systems design. The collaborative nature of the work reflects the ongoing advancements in the field and provides valuable insights for anyone interested in how intelligent systems can enhance mathematical processes and education.