Polynomial bounds for invariant functions separating orbits

From MaRDI portal
Publication:1758265