TY  - RPRT
TI  - Automatic Generation of Bounds for Polynomial Systems with Application to the Lorenz System
AU  - Klaus Röbenack
AU  - Rick Voßwinkel
AU  - Hendrik Richter
PY  - 2018
DO  - 10.1016/j.chaos.2018.05.012
UR  - https://arxiv.org/abs/1712.08228
ID  - 1712.08228
ER  -