@book{db01bf7e091840c2add2c7de0163f05e,
title = "Intelligent computer mathematics: International conference, CICM 2015 Washington, DC, USA, july 13–17, 2015 proceedings",
editor = "Manfred Kerber and Jacques Carette and Cezary Kaliszyk and Florian Rabe and Volker Sorge",
year = "2015",
doi = "10.1007/978-3-319-20615-8",
language = "English",
isbn = "9783319206141",
volume = "9150",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
}