INTELLIGENT COMPUTER MATHEMATICS (REPOST)

This aggregation constitutes the render refereed transactions of threesome planetary events, videlicet the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a newborn road on Systems and Projects descriptions that movement both the Calculemus and MKM topics, every held in Bertinoro, Italy, in July 2011. All 51 submissions passed finished a demanding analyse process. A amount of 15 writing were submitted to Calculemus, of which 9 were accepted. Systems and Projects road 2011 there hit been 12 writing designated discover of 14 submissions patch MKM 2011 conventional 22 submissions, of which 9 were acknowledged for show and publication. The events convergent on the ingest of AI techniques within signaling procedure and the covering of signaling procedure to AI difficulty solving; the compounding of machine algebra systems and automatic reduction systems; and mathematical noesis management, respectively.