Maschinengestütztes Beweisen

Unterstützung mathematischer Beweise durch Computer