Effective difference algebra and difference algebraic groups (B08*)

• Subject Area: Mathematics
• Term: since 2025
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 286237555

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.

• DFG Programme: CRC/Transregios
• Subproject of: TRR 195: Symbolic Tools in Mathematics and their Application
• Applicant Institution: Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Project Heads: Dr. Annette Bachmayr; Professor Dr. Daniel Robertz