English Computer-assisted proof Cited by user RDBrown on 10 Sep 2022 A computer-assisted proof is a mathematical proof that has been at least partially generated by computer.