1 paper
Angel Y. He, Mark Holmes
We present a computer assisted proof for a result concerning a three player betting game, introduced by Angel and Holmes. The three players start with initial capital x,y,z>0…