TY - RPRT TI - Nonstandard methods for bounds in differential polynomial rings AU - Matthew Harrison-Trainor AU - Jack Klys AU - Rahim Moosa PY - 2011 UR - https://arxiv.org/abs/1105.0600 ID - 1105.0600 ER -