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 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