Stem noether$ (all stems)
2 papers:
- POPL-2014-Atkey #parametricity #theorem
- From parametricity to conservation laws, via Noether’s theorem (RA), pp. 491–502.
- STOC-1991-Kaltofen #effectiveness
- Effective Noether Irreducibility Forms and Applications (Extended Abstract) (EK), pp. 54–63.