Symbolic Computation and Automated Reasoning Mehr Bücher von Manfred Kerber & Michael Kohlhase

Intelligent Computer Mathematics

2023

Intelligent Computer Mathematics

2015

Towards Mechanized Mathematical Assistants

2007