@misc{indiciaec132dc0768bc,
  title = {Automatic Generation of Bounds for Polynomial Systems with Application to the Lorenz System},
  author = {Klaus Röbenack and Rick Voßwinkel and Hendrik Richter},
  year = {2018},
  doi = {10.1016/j.chaos.2018.05.012},
  url = {https://arxiv.org/abs/1712.08228},
  note = {Source identifier: 1712.08228}
}