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 the runtime environment and hardware. Other mathematicians believe that lengthy computer-assisted proofs should be regarded as "calculations", rather than "proofs": the proof algorithm itself should be proved valid, so that its use can then be regarded as a mere "verification". Arguments that computer-assisted proofs are subject to errors in their source programs, compilers, and hardware can be resolved by providing a formal proof of correctness for the computer program (an approach which was successfully applied to the four-color theorem in 2005) as well as replicating the result using different programming languages, different compilers, and different computer hardware. Another possible way