Displaying similar documents to “A mixed duel under arbitrary motion and uncertain existence of the shot”

Discrete bidding games.

Develin, Mike, Payne, Sam (2010)

The Electronic Journal of Combinatorics [electronic only]

Similarity:

Conway's Games and Some of their Basic Properties

Robin Nittka (2011)

Formalized Mathematics

Similarity:

We formulate a few basic concepts of J. H. Conway's theory of games based on his book [6]. This is a first step towards formalizing Conway's theory of numbers into Mizar, which is an approach to proving the existence of a FIELD (i.e., a proper class that satisfies the axioms of a real-closed field) that includes the reals and ordinals, thus providing a uniform, independent and simple approach to these two constructions that does not go via the rational numbers and hence does for example...