Translation of "computer-assisted proof" into German
Maschinengestütztes Beweisen is the translation of "computer-assisted proof" into German.
computer-assisted proof
-
Maschinengestütztes Beweisen
Mathematical proof at least partially generated by computer
-
Show algorithmically generated translations
Automatic translations of "computer-assisted proof" into German
-
Glosbe Translate
-
Google Translate
Add example
Add