This project will develop algorithmic methods and their implementations in OSCAR for the effective study of polynomial difference equations. The technique of Thomas decomposition will be transferred from the context of differential equations to systems of (polynomial nonlinear) difference equations. As an application, we will develop algorithmic tools to determine the difference dimension of difference algebraic groups.
This project is led by Annette Bachmayr und Daniel Robertz.