Nonlinear systems solver in floating-point arithmetic using LP reduction

Christoph Fünfzig, Dominique Michelucci, Sebti Foufou. Nonlinear systems solver in floating-point arithmetic using LP reduction. In Willem F. Bronsvoort, Daniel Gonsor, William C. Regli, Thomas A. Grandine, Jan H. Vandenbrande, Jens Gravesen, John Keyser, editors, Proceedings of the 2009 ACM Symposium on Solid and Physical Modeling, San Francisco, California, USA, October 5-8, 2009. pages 123-134, ACM, 2009. [doi]

@inproceedings{FunfzigMF09,
  title = {Nonlinear systems solver in floating-point arithmetic using LP reduction},
  author = {Christoph Fünfzig and Dominique Michelucci and Sebti Foufou},
  year = {2009},
  doi = {10.1145/1629255.1629271},
  url = {http://doi.acm.org/10.1145/1629255.1629271},
  researchr = {https://researchr.org/publication/FunfzigMF09},
  cites = {0},
  citedby = {0},
  pages = {123-134},
  booktitle = {Proceedings of the  2009 ACM Symposium on Solid and Physical Modeling, San Francisco, California, USA, October 5-8, 2009},
  editor = {Willem F. Bronsvoort and Daniel Gonsor and William C. Regli and Thomas A. Grandine and Jan H. Vandenbrande and Jens Gravesen and John Keyser},
  publisher = {ACM},
  isbn = {978-1-60558-711-0},
}