computer verification Appears in 2 extracted records. Back to Methods. Representative papers A Portrait of a Quadrilateral Group (2011) The Surprising Symmetry Pairs of 24 Di-Oct Ochominoes Tiles (2019)