In the talk, we give a geometric interpretation of this condition and we showthat it is decidable. Using these methods, we generalise the above results totilings of squares by finitely many rectangles with possibly different sideratios under the extra assumption that all these ratios are algebraic numbers.We also classify all pairs of rectangles which are mutually tileable (there arenontrivial examples!). This is joint work with Radomił Baran.
Abstract: (coming soon) (joint work with J. Commelin and P. Habbegger)