We consider the moduli space of Abelian differentials on compact Riemann surfaces. It is stratified by the degree of the zeros of the differential and each stratum has a linear structure coming from period coordinates. Each stratum admits an action by GL(2,R) and this action is relevant in the study of billiard dynamics. I aim to discuss works in collaboration with Julian Rüth and Kai Fu in which we design computer programs to guess and certify GL(2,R)-orbit closures.