홈
computer-assisted proof

computer-assisted proof

mathematical proof at least partially generated by computer

en-GB/kəmˈpjuːtə - əˈsɪstɪd ˈpɹuːf/

en-US/kəmˈpjutɚ - əˈsɪstəd ˈpɹuf/

카테고리:

mathematical proof non-surveyable proof