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 proofnon-surveyable proof