Computer-assisted gaming game as much or as little as desired. Computer-assisted games are mostly not designed toward recreating the battlefield inside computer memory, but employing the computer to play the role of game master by storing game rules and unit (wargames) or role (role playing games) characteristics, tracking unit or character status and positions or distances, animating the game with sounds and voice and resolving combat (shooting and close combat). All distance relationships are tracked on the tabletop. All record-keeping is tracked by the computer. Role-playing games were one of the first types of games for which computer-assisted gaming programs were developed.
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