maschinengestütztes Beweisen
Sign in to saveUnterstützung mathematischer Beweise durch Computer
Wikidata facts
Show 3 more facts
- time of discovery or invention
- 1970-00-00
- uses
- proof assistant
- Stack Exchange tag
- math.stackexchange.com/tags/computer-assisted-proofs
Sources (2)
via Wikidata · CC0
Article · Deutsch
Maschinengestütztes Beweisen (oder missverständlicher: automatisches Beweisen; ein Teilgebiet der automatischen Deduktion) basiert auf der Verwendung von Computerprogrammen zur Erzeugung und Überprüfung von mathematischen Beweisen logischer Theoreme. Im Unterschied zu einem Computerbeweis wird versucht, den gesamten formalen Beweis bestehend aus Schritten und Zwischenergebnissen zu konstruieren.
Abstract from DBpedia / Wikipedia · CC BY-SA