TY - RPRT TI - Arithmetic Nullstellensatz and Nonstandard Methods AU - Haydar Göral PY - 2014 UR - https://arxiv.org/abs/1210.1651 ID - 1210.1651 ER -