Third Question About Mathematical Software and Data: How large is a Gröbner basis?

We continue our exploration of how to encode mathematical objects and about what this entails for mathematical research. This time we look into Gröbner bases, why they matter and how large they can be. The theoretical analysis in the presentation is complemented by subsequent empirical studies by the participants.