Intelligent computer mathematics: International conference, CICM 2015 Washington, DC, USA, july 13–17, 2015 proceedings

Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., & Sorge, V. (2015). Intelligent computer mathematics: International conference, CICM 2015 Washington, DC, USA, july 13–17, 2015 proceedings. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9150). Springer Verlag.