Symbolic Computation and Automated Reasoning More Books by Manfred Kerber & Michael Kohlhase

Intelligent Computer Mathematics

2023

Intelligent Computer Mathematics

2015

Towards Mechanized Mathematical Assistants

2007