Constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation & Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, & a track on Systems & Projects descriptions.