Chapter 15 The computer algebra toolbox

The meeting place of algebra and computer science is called computer algebra. We refer to von zur Gathen & Gerhard (2013) for a comprehensive introduction to it.