1 paper
Curtis Bright, Kevin Cheung, Brett Stevens +3
Using techniques from the fields of symbolic computation and satisfiability checking we verify one of the cases used in the landmark result that projective planes of order ten do n…