This volume presents the proceedings of multiple integrated conferences focused on the intersection of artificial intelligence, symbolic computation, and mathematics. The book compiles revised full papers from the 11th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2012), the 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2012), the 5th International Workshop on Digital Mathematics Libraries (DML 2012), and the 11th International Conference on Mathematical Knowledge Management (MKM 2012), alongside a Systems and Projects track. These papers were selected from a total of 52 submissions across the various events, reflecting a rigorous review process to showcase advancements in these specialized fields.

This collection represents a snapshot of research presented at the CICM 2012 conferences, indicating a focus on specialized academic discourse within computer mathematics and artificial intelligence. The selection of papers suggests a community engaged with the formalization, representation, and computational aspects of mathematical knowledge. The proceedings are likely to be of interest to researchers and practitioners in symbolic computation, automated reasoning, and digital library development.