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 mathematics is occurring at the same time as questions are being asked in the physics community about whether twenty-first century theoretical physics is becoming too mathematical, and leaving behind its experimental roots. The emerging field of experimental mathematics is confronting this debate head-on by focusing on numerical experiments as its main tool for mathematical exploration. In 2010, academics at The University of Edinburgh offered people the chance to "buy their own theorem" created through a computer-assisted proof. This new theorem would be named after the purchaser. Inclusion in this list does not imply that a formal computer-checked proof exists, but