We give a computer-based proof of the following fact: If a square is tiled by seven convex tiles which are congruent among themselves, then the tiles are rectangles . This confirms a new case of a conjecture posed by Yuen, Zamfirescu and Zamfirescu .
We give a computer-based proof of the following fact: If a square is divided into seven or nine convex polygons, congruent among themselves, then the tiles are rectangles .
R
tiled by seven convex tiles which are
divided into seven or nine convex polygons,
D
. This confirms a new case of a conjecture posed by Yuen, Zamfirescu and Zamfirescu