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]

Abstract

Abstract is missing.