Translation of "computer-assisted proof" into Korean
컴퓨터를 이용한 증명 is the translation of "computer-assisted proof" into Korean.
computer-assisted proof
-
컴퓨터를 이용한 증명
Mathematical proof at least partially generated by computer
-
Show algorithmically generated translations
Automatic translations of "computer-assisted proof" into Korean
-
Glosbe Translate
-
Google Translate
Add example
Add