TY - RPRT TI - Infinite-dimensional symplectic non-squeezing using non-standard analysis AU - Oliver Fabert PY - 2018 UR - https://arxiv.org/abs/1501.05905 ID - 1501.05905 ER -