Computer-assisted gaming Computer-aided role-playing game programs are designed to help game masters and players alike. Those programs range from acting as convenient format for a character sheet; or other game materials; all the way up to full automation of the game mechanics of a role-playing game system . This is especially useful for character creation/maintenance and rules resolutions for complex simulationist games. There are multiple poker tools that allow players to do statistical analysis of games. An example is a poker calculator, which determines the player's probability of winning, losing, or tying a hand. Another example of computer-assisted gaming growing in popularity
Computer-assisted proof rather, that a computer program has been involved in some way. See the main articles for details. Computer-assisted proof A computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program. Attempts have also been made