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 and performing elementary operations between such intervals of representable numbers. Computer-assisted proofs are the subject of some controversy in the mathematical world, with Thomas Tymoczko first to articulate objections. Those who adhere to Tymoczko's arguments believe that lengthy computer-assisted proofs are not, in some sense, 'real' mathematical proofs because they involve so many logical steps that they are not practically verifiable by human beings, and that mathematicians are effectively being asked to replace logical deduction from assumed axioms with trust in an empirical computational process, which is potentially affected by errors in the computer program, as well as defects in