Translation of "computer-assisted proof" into French
preuve assistée par ordinateur is the translation of "computer-assisted proof" into French.
computer-assisted proof
-
preuve assistée par ordinateur
Mathematical proof at least partially generated by computer
-
Show algorithmically generated translations
Automatic translations of "computer-assisted proof" into French
-
Glosbe Translate
-
Google Translate
Add example
Add