computer-assisted proof

mathematical proof at least partially generated by computer