A computer-assisted proof is a mathematical proof that has been at least partially generated by computer.
Компјутерски асистиран доказ е математички доказ кој е делумно генериран од компјутерот.